Search alternatives:
automated theorem » automata theory
languages » language
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Automated Theorem Proving -- The PCS Prover in TH?OREM? -- Higher-Order Lazy Narrowing Calculus: A Solver...”