FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Compressed Term Unification: Results, Applications, Open problems, and Hopes

Author: Adrià Gascón

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Compressed Term Unification: Results, Applications, Open problems, and Hopes
Authors:Adrià Gascón
Proceedings:UNIF Extended abstracts
Editors: Mauricio Ayala-Rincon and Philippe Balbiani
Keywords:
Abstract:
Pages:6
Paper: