|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 70-85, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harry Virtanen |
Vague Domains, S-Unification, Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 86-103, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 41-51, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robin N. Banerjee, Andrés Bujosa |
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 22-40, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Pattern Unification with Sequence Variables, Flexible Arity Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 52-69, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund, Manuel Ojeda-Aciego |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 104-105, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 1-21, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|