( en | de | ru )

 

Disambiguierung von "Podelski, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Meaning of LIFE.

, und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.

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.

Valérie Podelski

Andreas

Andreas Eickelkamp

Der Nutzwertjournalismus. Uni Leipzig, (2009)

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Andreas Schwenk

Die Formbestimmung des § 313 BGB a. F. (§ 311 b Abs. 1 BGB n. F.) bei Verträgen über Grundstücke in der Rechtsprechung des Reichsgerichts. Uni Kiel, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Black-Box Verification for GUI Applications, , , und . CoRR, (2012)Towards a Meaning of LIFE., und . PLILP, Volume 528 von Lecture Notes in Computer Science, Seite 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.A Geometrical View of the Determinization and Minimization of Finite-State Automata., , und . Math. Syst. Theory, 24 (2): 117-146 (1991)A Detailed Algorithm Testing Guards over Feature Trees., und . Constraint Processing, Selected Papers, Volume 923 von Lecture Notes in Computer Science, Seite 11-38. Springer, (1995)Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs., , und . ESOP, Volume 1576 von Lecture Notes in Computer Science, Seite 177-192. Springer, (1999)Verification of Cryptographic Protocols: Tagging Enforces Termination., und . FoSSaCS, Volume 2620 von Lecture Notes in Computer Science, Seite 136-152. Springer, (2003)Constraint-Based Analysis of Broadcast Protocols., , und . CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 50-66. Springer, (1999)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., und . POPL, Seite 1-11. ACM, (2000)Reducing Quasi-Equal Clocks in Networks of Timed Automata., , , , und . FORMATS, Volume 7595 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2012)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 577-581. Springer, (2023)