First-order unification using variable-free relational algebra

DOI10.1093/JIGPAL/JZQ011MaRDI QIDQ2889575zbMATH OpenOpenAlexFDO

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

Publication date 8 June 2012

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

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

zbMATH Keywords

rewritingunificationabstract syntaxrelation calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3871321
• Algebraic and logical aspects of unification
• scientific article; zbMATH DE number 3936507
• Nominal unification
• A practically efficient and almost linear unification algorithm

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889575)