FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Unification Based on Generalized Embedding

Authors: Joerg Siekmann and Peter Szabo

Paper Information

Title:Unification Based on Generalized Embedding
Authors:Joerg Siekmann and Peter Szabo
Proceedings:UNIF Extended abstracts
Editors: Mauricio Ayala-Rincon and Philippe Balbiani
Keywords:equational theory, ordering, essential unification, (homeomorphically) embedded E-unifiers
Abstract:

ABSTRACT. At this time we only submit the abstract, which I uploaded under paper

Pages:8
Talk:Jul 07 10:00 (Session 23P: Invited Talk, and orders and sets of E-unifiers)
Paper: