Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic

• Authors:

• Klaus Schneider;Ramayya Kumar;Thomas Kropf

• Affiliations:

• -;-;-

• Venue:
• HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
• Year:
• 1993