Author:
Qian Zhenyu,Nipkow Tobias
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types;Electronic Proceedings in Theoretical Computer Science;2012-02-14
2. Higher Order Unification 30 Years Later;Lecture Notes in Computer Science;2002
3. Higher-Order Unification and Matching;Handbook of Automated Reasoning;2001
4. Classical Type Theory;Handbook of Automated Reasoning;2001