Lazy linear combinatorial unification

DOI10.1006/JSCO.1998.0248zbMath0920.03021OpenAlexW2004886116MaRDI QIDQ1284282

M. Eugenia Occhiuto, Marco Bellia

Publication date: 30 March 1999

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b940c1c3db2ac94e9d0a466836272f55fb63a3e2

zbMATH Keywords

lazy computation of unification on first-order termstwo-rule reduction system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Logic programming (68N17)

This page was built for publication: Lazy linear combinatorial unification