Autor der Publikation

Formalization of Graph Search Algorithms and Its Applications.

, , , , und . TPHOLs, Volume 1479 von Lecture Notes in Computer Science, Seite 479-496. Springer, (1998)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge-Based Simulation of Regulatory Action in lambda phage., , , , und . Int. J. Artif. Intell. Tools, 4 (4): 511-524 (1995)Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation., , und . J. Softw., 10 (10): 1148-1159 (2015)Untyped lambda calculus with functionally referable environments., und . ICSCA, Seite 100-104. ACM, (2021)AnZenMail: A Secure and Certified E-mail System., , , , , und . ISSS, Volume 2609 von Lecture Notes in Computer Science, Seite 201-216. Springer, (2002)Formalization of Planar Graphs., , , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 369-384. Springer, (1995)A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack., , und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 25-44. Springer, (2003)Programs with Continuations and Linear Logic.. TACS, Volume 526 von Lecture Notes in Computer Science, Seite 513-531. Springer, (1991)Formalization of Broadcast Communication in Process Calculus and Its Model Checking., , und . ICSOFT (1), Seite 348-352. INSTICC Press, (2009)Let-Binding with Regular Expressions in Lambda Calculus., und . J. Softw., 11 (2): 220-229 (2016)Formalizing dynamic-wind in the lambda calculus., und . ICSCA, Seite 90-96. ACM, (2022)