Formalization of graph search algorithms and its applications

This publication has 5 references indexed in Scilit:

• Formal verification of a partial-order reduction technique for model checking
  Published by Springer Nature ,1996
• Formalization of planar graphs
  Published by Springer Nature ,1995
• The Boyer-Moore prover and Nuprl: an experimental comparison
  Published by Cambridge University Press (CUP) ,1991
• A unified approach to global program optimization
  Published by Association for Computing Machinery (ACM) ,1973
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940