FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Preface of the 32nd International Workshop on Unification UNIF 2018

Authors: Mauricio Ayala-Rincón and Philippe Balbiani

Paper Information

Title:Preface of the 32nd International Workshop on Unification UNIF 2018
Authors:Mauricio Ayala-Rincón and Philippe Balbiani
Proceedings:UNIF Extended abstracts
Editors: Mauricio Ayala-Rincon and Philippe Balbiani
Keywords:
Abstract:
Pages:3
Paper: