Heuristics for Completion in Automatic Proofs by Structural Induction

Heuristics for Completion in Automatic Proofs by Structural Induction

Heuristics for Completion in Automatic Proofs by Structural Induction

Authors: O. Lysne
Status: Published
Publication type: Journal Article
Year of publication: 1994
Journal: Nordic Journal of Computing
Publisher: NJC
Citation key: 10957

Google Scholar BibTex