Axel Dold - Wissenschaftliche Veröffentlichungen

Wolf Zimmermann, Axel Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines : 2003:

dblp: International Journal of Foundations of Computer Science,...

dblp.uni-trier.de

Bibliographic content of International Journal of Foundations of Computer Science, Volume 14

dblp: Axel Dold

dblp.uni-trier.de

List of computer science publications by Axel Dold

Geometry.Net - Science: Logic Temporal

www.geometry.net

Canver @icn. siemens.de joined Siemens AG, Ulm Daniela Damm damm@ifi. unizh.ch Dr. Axel Dold or joined TESCOM ...

dblp: Abstract State Machines, September 1998

dblp.uni-trier.de

Bibliographic content of Abstract State Machines, September 1998

before — Universität Koblenz · Landau

www.uni-koblenz-landau.de

Jürgen Dix, Axel Dold, Thomas Fuchß, and Martin Müller. Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen.

dblp: FME 1997

dblp.uni-trier.de

Bibliographic content of FME 1997

dblp: Detlef Schwier

dblp.uni-trier.de

List of computer science publications by Detlef Schwier

Verwandte Suchanfragen zu Axel Dold

Wolfgang Goerigk
Holger Pfeifer
Vincent Vialard

Thilo Gaul
Hans Kraut
Tiziana Margaria

Daniela Damm
Harald Rueß
Roland Dold

Person "Dold" (3)
Vorname "Axel" (23019)
Name "Dold" (622)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Axel Dold