System Description: cardTAP: The First Theorem Prover on a Smart Card

• Authors:

• Rajeev Goré;Joachim Posegga;Andrew Slater;Harald Vogt

• Affiliations:

• -;-;-;-

• Venue:
• CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
• Year:
• 1998