Heuristics for Completion in Automatic Proofs by Structural Induction

Authors	O. Lysne
Title	Heuristics for Completion in Automatic Proofs by Structural Induction
Afilliation	Communication Systems, Communication Systems
Status	Published
Publication Type	Journal Article
Year of Publication	1994
Journal	Nordic Journal of Computing
Volume	1
Pagination	135-156,
Publisher	NJC
Citation Key	ND.4.LYSNE.1994.b

Search form