Syntactic Unification as a Geometric Operation in Free Modules over certain Rings

DOI10.1016/S1571-0661(04)80512-7zbMath1270.68384OpenAlexW2007070868MaRDI QIDQ2842592

A. Bujosa, R. N. Banerjee

Publication date: 15 August 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80512-7

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Free, projective, and flat modules and ideals in associative algebras (16D40) Logic programming (68N17)

Related Items (1)

A geometric interpretation of LD-resolution

Cites Work

• The design of linear algebra and geometry
• Vectorial equations solving for mechanical geometry theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic Unification as a Geometric Operation in Free Modules over certain Rings