A Multi-Adjoint Approach to Similarity-Based Unification
From MaRDI portal
Publication:2842595
DOI10.1016/S1571-0661(04)80515-2zbMath1270.68062OpenAlexW2081526383MaRDI QIDQ2842595
Jesús Medina, Manuel Ojeda Aciego, Peter Vojtáš
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)80515-2
Fuzzy logic; logic of vagueness (03B52) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)
This page was built for publication: A Multi-Adjoint Approach to Similarity-Based Unification