First-order unification using variable-free relational algebra

DOI10.1093/JIGPAL/JZQ011zbMATH Open1253.68194OpenAlexW2035613187MaRDI QIDQ2889575FDOQ2889575

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

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

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)

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)