|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-Adjoint Approach to Similarity-Based Unification. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harry Virtanen |
Vague Domains, S-Unification, Logic Programming. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde |
A categorical approach to unification of generalised terms. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robin N. Banerjee, Andrés Bujosa |
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Pattern Unification with Sequence Variables, Flexible Arity Symbols. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund, Manuel Ojeda-Aciego |
Preface. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Teresa Alsinet, Lluís Godo, Sandra A. Sandri |
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund, Manuel Ojeda-Aciego (eds.) |
Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 |
UNCL@ICALP |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|