First-order unification using variable-free relational algebra

DOI10.1093/JIGPAL/JZQ011zbMath1253.68194OpenAlexW2035613187MaRDI QIDQ2889575

Julio Mariño, Emilio Jesús Gallego Arias, Pablo Nogueira, James Lipton

Publication date: 8 June 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

unificationrewritingabstract syntaxrelation calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Declarative Compilation for Constraint Logic Programming ⋮ Constraint logic programming with a relational machine

This page was built for publication: First-order unification using variable-free relational algebra