UNIF Extended abstracts

UNIF EXTENDED ABSTRACTS

Editors: Mauricio Ayala-Rincon and Philippe Balbiani

Authors	Title	Talk
Mauricio Ayala-Rincón and Philippe Balbiani	Preface of the 32nd International Workshop on Unification UNIF 2018
Silvio Ghilardi	Handling Substitutions via Duality
Adrià Gascón	Compressed Term Unification: Results, Applications, Open problems, and Hopes
Ajay Kumar Eeralla and Christopher Lynch	Bounded ACh Unification	Jul 07 11:30
David Cerna and Temur Kutsia	Towards Generalization Methods for Purely Idempotent Equational Theories	Jul 07 16:30
Temur Kutsia and Cleo Pau	Proximity-Based Generalization	Jul 07 16:00
Çiğdem Gencer	About the Unification Type of Topological Logics over Euclidean Spaces	Jul 07 12:00
Yunus David Kerem Kutz and Manfred Schmidt-Schauss	Rewriting with Generalized Nominal Unification	Jul 07 17:00
Franz Baader, Pavlos Marantidis and Antoine Mottet	ACUI Unification Modulo Ground Theories	Jul 07 15:00
Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen	Knowledge Problems in Equational Extensions of Subterm Convergent Theories	Jul 07 11:00
Joerg Siekmann and Peter Szabo	Unification Based on Generalized Embedding	Jul 07 10:00
Kasper Fabæch Brandt, Anders Schlichtkrull and Jørgen Villadsen	Formalization of First-Order Syntactic Unification	Jul 07 17:30
Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman	Efficiency of a Good but not Linear Nominal Unification Algorithm	Jul 07 17:50