Towards Mechanizing Proofs by Structural Induction

Towards Mechanizing Proofs by Structural Induction

Towards Mechanizing Proofs by Structural Induction

Authors: O. Lysne
Status: Published
Publication type: Proceedings Refereed
Year of publication: 1992
Journal: Proceedings from NIK'92: Norsk Informatikk Konferanse
Publisher: TAPIR,
Citation key: 9965

Google Scholar BibTex