FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

(
(homeomorphically) embedded E-unifiers	Unification Based on Generalized Embedding (PDF, talk)
A
ACUI	ACUI Unification Modulo Ground Theories (PDF, talk)
all maximal clique partitions in a graph	Proximity-Based Generalization (PDF, talk)
Anti-unification	Towards Generalization Methods for Purely Idempotent Equational Theories (PDF, talk) Proximity-Based Generalization (PDF, talk)
atom variables	Rewriting with Generalized Nominal Unification (PDF, talk)
B
Binding operations	Efficiency of a Good but not Linear Nominal Unification Algorithm (PDF, talk)
Bounded	Bounded ACh Unification (PDF, talk)
C
contact logics	About the Unification Type of Topological Logics over Euclidean Spaces (PDF, talk)
E
Efficiency	Efficiency of a Good but not Linear Nominal Unification Algorithm (PDF, talk)
equational rewriting	Knowledge Problems in Equational Extensions of Subterm Convergent Theories (PDF, talk)
equational theories	Towards Generalization Methods for Purely Idempotent Equational Theories (PDF, talk)
equational theory	Unification Based on Generalized Embedding (PDF, talk)
essential unification	Unification Based on Generalized Embedding (PDF, talk)
F
First-Order Syntactic Unification	Formalization of First-Order Syntactic Unification (PDF, talk)
formalization	Formalization of First-Order Syntactic Unification (PDF, talk)
fuzzy generalization	Proximity-Based Generalization (PDF, talk)
G
ground theories	ACUI Unification Modulo Ground Theories (PDF, talk)
H
Homomorphism	Bounded ACh Unification (PDF, talk)
I
Idempontent	Towards Generalization Methods for Purely Idempotent Equational Theories (PDF, talk)
intruder deduction problem	Knowledge Problems in Equational Extensions of Subterm Convergent Theories (PDF, talk)
Isabelle Proof Assistant	Formalization of First-Order Syntactic Unification (PDF, talk)
K
Knuth-Bendix criterion	Rewriting with Generalized Nominal Unification (PDF, talk)
N
nominal rewriting	Rewriting with Generalized Nominal Unification (PDF, talk)
nominal unification	Rewriting with Generalized Nominal Unification (PDF, talk)
O
ordering	Unification Based on Generalized Embedding (PDF, talk)
P
proximity relation	Proximity-Based Generalization (PDF, talk)
Q
qualitattive spatial reasoning	About the Unification Type of Topological Logics over Euclidean Spaces (PDF, talk)
S
Splitting	Bounded ACh Unification (PDF, talk)
static equivalence problem	Knowledge Problems in Equational Extensions of Subterm Convergent Theories (PDF, talk)
subterm convergent theories	Knowledge Problems in Equational Extensions of Subterm Convergent Theories (PDF, talk)
U
unification	Bounded ACh Unification (PDF, talk) About the Unification Type of Topological Logics over Euclidean Spaces (PDF, talk) ACUI Unification Modulo Ground Theories (PDF, talk) Efficiency of a Good but not Linear Nominal Unification Algorithm (PDF, talk)
α
α-conversion	Efficiency of a Good but not Linear Nominal Unification Algorithm (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program