|
|
|
|
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  |
UNIF@RTA/TLCA  |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexander Baumgartner, Temur Kutsia |
Unranked Anti-Unification with Hedge and Context Variables. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic EL. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia |
Anti-Unification: Algorithms and Applications. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran |
Unication Problems Modulo a Theory of Until. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatyana A. Novikova, Vladimir A. Zakharov |
Is it possible to unify sequential programs? |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001 |
Unification and Anti-unification modulo Equational Theories. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Javier Espert |
Detecting Modular ACU Structural Symmetries. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Hierarchical Combination of Unication Algorithms (Extended Abstract). |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license