Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;B. Aydemir,2005
2. Lecture Notes in Computer Science;A.P. Felty,2002
3. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery 40(1), 143–184 (1993)
4. Harper, R., Licata, D.: Mechanizing metatheory in a logical framework (submitted for publication)
5. Lecture Notes in Computer Science;A. Momigliano,2003
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献