1
0
0
(1 - 16 von 23
)
Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur...
philpapers.org
Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, ...
Hagenberg Research - Seite Google Books-Ergebnisseitegoogle.ca
books.google.ca
Tudor Jebelean Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger Automated Reasoning Tudor Jebelean, Bruno Buchberger, ...
Hagenberg Research - Google Books
books.google.de
Chapter. II. Automated. Reasoning. Tudor Jebelean Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger IX.
List of Publications and Talks of Prof. Dr. Laura KovácsLaura Kovács
lkovacs.com
Laura Kovács, Nikolaj Popov, and Tudor Jebelean. Combining Logic and Algebraic Techniques for Program. Verification in Theorema. In Proceedings of the ... › publication_Kovacs
Mathematics and Computers in Simulation - ScienceDirect.com
www.sciencedirect.com
Nikolaj Popov, Tudor Jebelean. Pages : Download PDF. Article preview. select article Combining logical and algebraic techniques for natural style ... › issue
Temur Kutsia - dblp
dblp.uni-trier.de
— Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger: Automated Reasoning. › pid › Te...
Sound and Complete Verification Condition Generator for Functional...
link.springer.com
Sound and Complete Verification Condition. Generator for Functional Recursive Programs. Nikolaj Popov and Tudor Jebelean. Abstract We present a method ...
Theorema: A System for Computer-Supported Formal Mathematics
www.ercim.eu
... Bruno Buchberger, Wolfgang Windsteiger, Christian Vogt, Adi Craciun, Temur Kutsia. Sitting: Florina Piroi, Tudor Jebelean, Gabor Kusper, Nikolaj Popov.
BibTeX entry
www3.risc.jku.at
author = {Tudor Jebelean and Bruno Buchberger and Temur Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger}, title = {{Automated Reasoning}}, booktitle...
Talks Nikolaj Popov
www.complang.tuwien.ac.at
Nikolaj Popov is a postdoctoral researcher in the Theorema group of Prof. Bruno Buchberger and Prof. Tudor Jebelean, at the Research ...
Non-Standard Applications of Computer AlgebraUniversity of New Mexico
math.unm.edu
(Nikolaj Popov and Tudor Jebelean, RISC-Linz, Austria); Using Symbolic Summation and Polynomial Algebra for Imperative Program Verification in the Theorema ... › ~aca › ACA
Theorema: Towards computer-aided mathematical theory ...Infona.pl
www.infona.pl
von B Buchberger · · Zitiert von: 202 — Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, … [ more ]. › resource
BibTeX entry
www3.risc.jku.at
author = {Nikolaj Popov and Tudor Jebelean}, title = {{Verification of Simple Recursive Programs: Sufficient Conditions}}, language = {english}, number = {04-06} ...
Programme of FORMED at ETAPS 2008etaps 2023
etaps.org
— ... for Verification of Recursive Functional Programs: Nikolaj Popov and Tudor Jebelean (RISC, Johannes Kepler University, Austria) ... › progFORMED
Alle Infos zum Namen "Nikolaj Popov"
Verwandte Suchanfragen zu Nikolaj Popov
Wolfgang Windsteiger Andreas Vojnarovski Anatoli Schneider | Niko Popov Nik Popov Andrea Bilek | Jennifer Lauth |
Person "Popov" (3) Vorname "Nikolaj" (901) Name "Popov" (452) |
sortiert nach Relevanz / Datum