default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUNIF 2014, Vienna, Austria
- Temur Kutsia, Christophe Ringeissen:
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014
Invited Papers
- José Meseguer:
Extensible Symbolic System Analysis. 1-4 - Jordi Levy:
On the Limits of Second-Order Unification. 5-14
Contributed Papers
- Peter Hibbs, Paliath Narendran, Shweta Mehto:
Unification Modulo Common List Functions. 15-21 - Franz Baader, Barbara Morawska:
Matching with respect to general concept inclusions in the Description Logic EL. 22-25 - Philippe Balbiani, Tinko Tinchev:
Unification in the normal modal logic Alt1. 26-32 - Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). 33-35 - Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
Hierarchical Combination of Matching Algorithms (Extended Abstract). 36-40 - Leonardo Manuel Cabrer, George Metcalfe:
From Admissibility to a New Hierarchy of Unification Types. 41-46 - Maria Paola Bonacina, David A. Plaisted:
Constraint Manipulation in SGGS. 47-54 - Tatyana A. Novikova, Vladimir A. Zakharov:
Two-sided unification is NP-complete. 55-61 - Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. 62-68 - Andrea Vezzosi, Andreas Abel:
A Categorical Perspective on Pattern Unification (Extended Abstract). 69-73 - Beta Ziliani, Matthieu Sozeau:
Towards a better-behaved unification algorithm for Coq. 74-87
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 2025-12-09 00:11 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
