Instantiation theory. On the foundations of automated deduction

DOI10.1007/BFb0031932zbMath0785.68084MaRDI QIDQ1202066

James G. Williams

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

complexityunificationwell-foundednessvariable substitutioninstantiationterm systems

Mathematics Subject Classification ID

Related Items (4)

A simple abstract semantics for equational theories ⋮ An algebraic theory of structured objects ⋮ Combination of constraint solvers for free and quasi-free structures ⋮ Higher order unification via explicit substitutions

Uses Software

• ETPS
• IMPS

This page was built for publication: Instantiation theory. On the foundations of automated deduction