EasyChair Smart SlideUser guide
Conference: UNIF 2018 (32nd International Workshop on Unification)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Rewriting with Generalized Nominal Unification

Rewriting with Generalized Nominal Unification

Yunus David Kerem Kutz and Manfred Schmidt-Schauss

Towards Generalization Methods for Purely Idempotent Equational Theories

Towards Generalization Methods for Purely Idempotent Equational Theories

David Cerna and Temur Kutsia

Knowledge Problems in Equational Extensions of Subterm Convergent Theories

Knowledge Problems in Equational Extensions of Subterm Convergent Theories

Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen

About the unification type of topological logics over Euclidean spaces

About the unification type of topological logics over Euclidean spaces

Çigdem Gencer

ACUI Unification modulo Ground Theories

ACUI Unification modulo Ground Theories

Franz Baader, Pavlos Marantidis and Antoine Mottet

Handling substitutions via duality

Handling substitutions via duality

Silvio Ghilardi

Efficiency of a good but not linear nominal unification algorithm

Efficiency of a good but not linear nominal unification algorithm

Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman

Presentations in this collection: 7
Copyright © 2002 – 2026 EasyChair