Nikolaj Popov - Wissenschaftliche Veröffentlichungen

(1 - 20 von 20

)

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

dblp: Nikolaj Popov

dblp.uni-trier.de

List of computer science publications by Nikolaj Popov

dblp: Tudor Jebelean

dblp.dagstuhl.de

List of computer science publications by Tudor Jebelean

Using Computer Algebra techniques for the specification ...ScienceDirect

www.sciencedirect.com

von N Popov · · Zitiert von: 5 — Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs☆. Author links open overlay panel. Nikolaj Popov › pii

dblp: Adrian Craciun

dblp.uni-trier.de

List of computer science publications by Adrian Craciun

dblp: BibTeX records: Nikolaj Popov

dblp.uni-trier.de

List of computer science publications by BibTeX records: Nikolaj Popov

Search results for "ANB" – FacetedDBLP

dblp.l3s.de

Hits ?△, Authors, Title, Venue, Year, Link, Author keywords. Authors Title Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds Algebraic and Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira Efficient and ...

dblp: Algebraic and Numeric Biology 2010

dblp.uni-trier.de

Bibliographic content of Algebraic and Numeric Biology 2010

JKU-FoDok Forschungsdokumentation der Universität Linz - Gehaltener...

fodok.uni-linz.ac.at

Department of Mathematical Logic, Faculty of Mathematics and Computer ... Nikolaj Popov. Forschungseinheiten: Institut für Symbolisches Rechnen. fodok.jku.at ...