VSL 2014: VIENNA SUMMER OF LOGIC 2014

The Higher-Order Dependency Pair Framework

Author: Cynthia Kop

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:The Higher-Order Dependency Pair Framework
Authors:Cynthia Kop
Proceedings:HOR 2014 Workshop Proceedings
Editor: Kristoffer Rose
Keywords:
Abstract:
Pages:6
Talk:Jul 12 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program