Accepted Papers

Pascal Lafourcade, Denis Lugiez, and Ralf Treinen
ACUNh: Unification and Disunification Using Automata Theory

Temur Kutsia, Mircea Marin
Solving Regular Constraints for Hedges and Contexts

Max Tuengerthal, Ralf Kuesters, and Mathieu Turuani
Implementing a Unification Algorithm for Protocol Analysis with XOR

Sjaak Smetsers, Arjen van Weelden
Bracket Abstraction Preserves Typability

Paliath Narendran, Pavithra Ramarathnam
Unification modulo ACUI with collapsing homomorphisms

Edwin Westbrook
Pattern Solutions to Higher-Order Unification Problems

Jorge Coelho, Mário Florido
Unification with Flexible Arity Symbols: a Typed Approach

Adel bouhoula, Florent Jacquemard
Automating Sufficient Completeness Check for Conditional and Constrained TRS

Franz Baader, Alexander Okhotin
Complexity of language equations with one-sided concatenation and all Boolean operations