default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd UNIF 2011, Wroclaw, Poland
- Franz Baader, Barbara Morawska, Jan Otop:
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. 2011 - Christopher Lynch:
Invited talk: Unification in Cryptographic Protocol Analysis. 1 - Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska:
Computing Local Unifiers in the Description Logic EL without the Top Concept. 2-8 - Jan Otop:
Unification of anti-terms. 9-14 - Lukasz Stafiniak:
Joint Constraint Abduction Problems. 15-20 - Wojciech Dzik, Piotr Wojtylak:
Projective Unifiers in Modal Logics. 21-27 - Stefan Ciobaca:
Computing finite variants for subterm convergent rewrite systems. 28-34 - Conrad Rau, Manfred Schmidt-Schauß:
A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains. 35-41 - Ben Kavanagh, James Cheney:
Higher-Order Unification for the λαν calculus. 42-51 - Rakesh M. Verma, Wei Guo:
Does Unification Help in Normalization? 52-58 - Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. 59-64
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-08 10:00 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:
