Autor der Publikation

Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification.

, und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 124-135. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

EquiX - A Search and Query Language for XML, , , , , und . CoRR, (2000)Containment of Aggregate Queries., , und . ICDT, Volume 2572 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2003)StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction., , und . CIKM, Seite 467-476. ACM, (2018)Wikidata Completeness Profiling Using ProWD., , , , und . K-CAP, Seite 123-130. ACM, (2019)Preface., , , und . KRDB, Volume 45 von CEUR Workshop Proceedings, CEUR-WS.org, (2001)Rewriting Aggregate Queries Using Views., , und . PODS, Seite 155-166. ACM Press, (1999)Deciding Equivalences Among Aggregate Queries., , und . PODS, Seite 214-223. ACM Press, (1998)Equivalences among Aggregate Queries with Negation., , und . PODS, ACM, (2001)Combining the Power of Searching and Querying., , , , , und . CoopIS, Volume 1901 von Lecture Notes in Computer Science, Seite 54-65. Springer, (2000)Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification., und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 124-135. Springer, (1991)