( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Meaning of LIFE.

, и . PLILP, том 528 из Lecture Notes in Computer Science, стр. 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Valérie Podelski

Andreas

Andreas Sarcletti

Die Bedeutung von Praktika und studentischen Erwerbstätigkeiten für den Berufseinstieg.. Uni Bamberg, (2009)

Andreas Ströhl

Die Geste Mensch: Vilém Flussers Kulturtheorie als kommunikationsphilosophischer Zukunftsentwurf. Uni Marburg, (2009)

Andreas Nerlich

Lebensumstände und Krankheiten einer mittelalterlich bis neuzeitlichen Bevölkerung Südddeutschlands: paläopathologische Untersuchungen. Uni München, (2009)
 

Другие публикации лиц с тем же именем

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