default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUNIF@RTA/TLCA 2013: Eindhoven, The Netherlands
- Konstantin Korovin, Barbara Morawska:
27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. EPiC Series in Computing 19, EasyChair 2013 - Santiago Escobar:
Unification and Anti-unification modulo Equational Theories. 1 - Temur Kutsia:
Anti-Unification: Algorithms and Applications. 2 - María Alpuente
, Santiago Escobar, Javier Espert:
Detecting Modular ACU Structural Symmetries. 3-7 - Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic EL. 8-12 - Alexander Baumgartner, Temur Kutsia:
Unranked Anti-Unification with Hedge and Context Variables. 13-21 - Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran:
Unication Problems Modulo a Theory of Until. 22-29 - Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination of Unication Algorithms (Extended Abstract). 30-34 - Tatyana A. Novikova, Vladimir A. Zakharov:
Is it possible to unify sequential programs? 35-45
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-28 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
