|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A categorical approach to unification of generalised terms 1 1 This work has been developed as a cooperation organised within COST 274. |
Eklund, P. |
2002 |
66 | 5 |
p. 41-51 11 p. |
article |
|
| 2 | A Multi-Adjoint Approach to Similarity-Based Unification |
Medina, Jesús |
2002 |
66 | 5 |
p. 70-85 16 p. |
article |
|
| 3 | Pattern Unification with Sequence Variables and Flexible Arity Symbols |
Kutsia, Temur |
2002 |
66 | 5 |
p. 52-69 18 p. |
article |
|
| 4 | Preface |
Eklund, Patrik |
2002 |
66 | 5 |
p. 104-105 2 p. |
article |
|
| 5 | Syntactic Unification as a Geometric Operation in Free Modules over certain Rings |
Banerjee, R.N. |
2002 |
66 | 5 |
p. 22-40 19 p. |
article |
|
| 6 | Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification |
Alsinet, Teresa |
2002 |
66 | 5 |
p. 1-21 21 p. |
article |
|
| 7 | Vague Domains, S-Unification and Logic Programming |
Virtanen, Harry E. |
2002 |
66 | 5 |
p. 86-103 18 p. |
article |
7 results found