FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Rewriting with Generalized Nominal Unification

Yunus David Kerem Kutz and Manfred Schmidt-Schauss

ACUI Unification modulo Ground Theories

Franz Baader, Pavlos Marantidis and Antoine Mottet

Knowledge Problems in Equational Extensions of Subterm Convergent Theories

Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen

Efficiency of a good but not linear nominal unification algorithm

Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman

About the unification type of topological logics over Euclidean spaces

Çigdem Gencer

Handling substitutions via duality

Silvio Ghilardi
Total: 6 presentations.