( en | de | ru )

 

Disambiguierung von "Leuschel, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preserving Termination of Tabled Logic Programs While Unfolding.

, , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 189-205. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Leuschel

Dieter Leuschel

Hilde Leuschel

Roland Leuschel

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Refinement Checking for B., und . ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 345-359. Springer, (2005)How to Make FDR Spin LTL Model Checking of CSP by Refinement., , und . FME, Volume 2021 von Lecture Notes in Computer Science, Seite 99-118. Springer, (2001)Combining CSP and B for Specification and Property Verification., und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 221-236. Springer, (2005)Partial Evaluation of the "Real Thing".. LOPSTR, Volume 883 von Lecture Notes in Computer Science, Seite 122-137. Springer, (1994)Enabling Analysis for Event-B., und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 102-118. Springer, (2016)Translating B to TLA + for Validation with TLC., und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2014)Generating Event-B Specifications from Algorithm Descriptions., , , , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2016)Optimising the ProB Model Checker for B Using Partial Order Reduction., und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 220-234. Springer, (2014)Solving Planning Problems by Partial Deduction., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 451-468. Springer, (2000)Homeomorphic Embedding for Online Termination of Symbolic Methods.. The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 379-403. Springer, (2002)