default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUNIF 2016, Porto, Portugal
- Silvio Ghilardi, Manfred Schmidt-Schauß:
Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016 - Ralf Sasse:
Automated Symbolic Proofs of Security Protocols. 6-8 - Wojciech Dzik, Piotr Wojtylak:
Unification in predicate logic. 9-12 - Philippe Balbiani:
Solving equations in pure double Boolean algebras. 13-16 - Daniel S. Hono II, Paliath Narendran, Rafael Veras:
Lynch-Morawska Systems on Strings. 19-24 - Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam:
Notes on Lynch-Morawska Systems. 25-30 - Franz Baader, Pierre Ludmann:
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. 31-36 - Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximately Solving Set Equations. 37-43 - Edmund Soon Lee Lam, Iliano Cervesato:
Let's Unify With Scala Pattern Matching! 43-48 - Martin Plümicke:
Type unification for structural types in Java (Extended Abstract). 49 - Iliano Cervesato, Edmund S. L. Lam:
Overlap and Independence in Multiset Comprehension Patterns. 51-56 - Michal Stronko:
Universal freeness and admissibility. 57-61
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 23:25 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:
