Login / Signup

An Elementary Proof of the Completness of PDL.

Dexter KozenRohit Parikh
Published in: Theor. Comput. Sci. (1981)
Keyphrases
  • theorem prover
  • theorem proving
  • linear logic
  • school children
  • information systems
  • mathematical proofs
  • real world
  • proof planning
  • geometry theorem proving