VSL 2014: VIENNA SUMMER OF LOGIC 2014

On the Limits of Second-Order Unification

Author: Jordi Levy

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:On the Limits of Second-Order Unification
Authors:Jordi Levy
Proceedings:UNIF 2014 Short Papers
Editors: Temur Kutsia and Christophe Ringeissen
Keywords:
Abstract:
Pages:10
Talk:Jul 13 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program