Information Flow Analysis via Equational Reasoning Siva Anantharaman and Gaétan Hains
Alpha-Prolog, a Fresh Approach to Logic Programming Modulo alpha-Equivalence James Cheney and Christian Urban
Easy Intruder Deductions Hubert Comon and Ralf Treinen
On the Computation of Joins for non Associative Lambek Categorial Grammars Annie Foret
Undecidability of Unification over Two Theories of Modular Exponentiation Deepak Kapur, Paliath Narendran and Lida Wang
Applying Unification Techniques to Xml Document Management? Michael Kohlhase
Matching in Flat Theories Temur Kutsia
Functional Programming with Sequence Variables: The Sequentica Package Mircea Marin
Satisfiability of Structural Subtype Constraints Joachim Niehren and Tim Priesnitz
A Prefix Notation and Unification Algorithm for Encoding Modal Logics Adrian Williams and Jim Cunningham