|
Journals in DBLP
- Teresa Alsinet, Lluis Godo, Sandra Sandri
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Robin N. Banerjee, Andrés Bujosa
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
A categorical approach to unification of generalised terms. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Patrik Eklund, Manuel Ojeda-Aciego
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Temur Kutsia
Pattern Unification with Sequence Variables, Flexible Arity Symbols. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
A Multi-Adjoint Approach to Similarity-Based Unification. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
- Harry Virtanen
Vague Domains, S-Unification, Logic Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
|