Abstract is missing.
- Automated Symbolic Proofs of Security ProtocolsRalf Sasse. 6-8 [doi]
- Unification in predicate logicWojciech Dzik, Piotr Wojtylak. 9-12 [doi]
- Solving equations in pure double Boolean algebrasPhilippe Balbiani. 13-16 [doi]
- Lynch-Morawska Systems on StringsDaniel S. Hono II, Paliath Narendran, Rafael Veras. 19-24 [doi]
- Notes on Lynch-Morawska SystemsDaniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam. 25-30 [doi]
- The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not FinitaryFranz Baader, Pierre Ludmann. 31-36 [doi]
- Approximately Solving Set EquationsFranz Baader, Pavlos Marantidis, Alexander Okhotin. 37-43 [doi]
- Let's Unify With Scala Pattern Matching!Edmund Soon Lee Lam, Iliano Cervesato. 43-48 [doi]
- Type unification for structural types in Java (Extended Abstract)Martin Plümicke. 49 [doi]
- Overlap and Independence in Multiset Comprehension PatternsIliano Cervesato, Edmund S. L. Lam. 51-56 [doi]
- Universal freeness and admissibilityMichal Stronko. 57-61 [doi]