|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Konstantin Korovin, Barbara Morawska 0001 (eds.) |
27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alexander Baumgartner, Temur Kutsia |
Unranked Anti-Unification with Hedge and Context Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 13-21, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 8-12, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Anti-Unification: Algorithms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 2, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran |
Unication Problems Modulo a Theory of Until. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 22-29, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tatyana A. Novikova, Vladimir A. Zakharov |
Is it possible to unify sequential programs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 35-45, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001 |
Unification and Anti-unification modulo Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 1, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Javier Espert |
Detecting Modular ACU Structural Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 3-7, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Hierarchical Combination of Unication Algorithms (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 30-34, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|