FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Handling Substitutions via Duality

Author: Silvio Ghilardi

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Handling Substitutions via Duality
Authors:Silvio Ghilardi
Proceedings:UNIF Extended abstracts
Editors: Mauricio Ayala-Rincon and Philippe Balbiani
Keywords:
Abstract:
Pages:4
Paper: