Home
Home
Search
Open menu
About
Research
Education
Innovation
Careers
More
Search
About
Toggle About navigation
Organisation
Leadership
Simula Culture
Simula Awards
Milestones
People
News
Research
Toggle Research navigation
Research Areas
Research Departments
Publications
Contract research
Projects
Education
Toggle Education navigation
Simula Academy
Courses & summer schools
Master's students
PhD candidates
Researcher training
Research exchanges
Innovation
Toggle Innovation navigation
Simula Innovation
Simula Consulting
Careers
Toggle Careers navigation
Summer internships
Professional development
Job openings
publications
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