FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Baader, Franz	ACUI Unification modulo Ground Theories
Brandt, Kasper Fabæch	Formalization of First-Order Syntactic Unification
C
Cerna, David	Towards Generalization Methods for Purely Idempotent Equational Theories
Christiansen, David	Efficiency of a good but not linear nominal unification algorithm
E
Eeralla, Ajay Kumar	Bounded ACh Unification
Erbatur, Serdar	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
F
Friedman, Daniel	Efficiency of a good but not linear nominal unification algorithm
G
Gascón, Adrià	Compressed Term Unification: Results, uses, open problems, and hopes
Gencer, Çigdem	About the unification type of topological logics over Euclidean spaces
Ghilardi, Silvio	Handling substitutions via duality
K
Kutsia, Temur	Proximity-Based Generalization Towards Generalization Methods for Purely Idempotent Equational Theories
Kutz, Yunus David Kerem	Rewriting with Generalized Nominal Unification
L
Lynch, Christopher	Bounded ACh Unification
M
Ma, Weixi	Efficiency of a good but not linear nominal unification algorithm
Marantidis, Pavlos	ACUI Unification modulo Ground Theories
Marshall, Andrew M.	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
Mottet, Antoine	ACUI Unification modulo Ground Theories
P
Pau, Cleo	Proximity-Based Generalization
R
Ringeissen, Christophe	Knowledge Problems in Equational Extensions of Subterm Convergent Theories
S
Schlichtkrull, Anders	Formalization of First-Order Syntactic Unification
Schmidt-Schauss, Manfred	Rewriting with Generalized Nominal Unification
Siek, Jeremy	Efficiency of a good but not linear nominal unification algorithm
Siekmann, Joerg	Unification based on generalized embedding
Szabo, Peter	Unification based on generalized embedding
V
Villadsen, Jørgen	Formalization of First-Order Syntactic Unification

Disclaimer | Powered by EasyChair Smart Program