Author of the publication

Formalization of Graph Search Algorithms and Its Applications.

, , , , and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 479-496. Springer, (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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