![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
22nd 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.