Author:
Afshari Bahareh,Hetzl Stefan,Leigh Graham E.
Subject
Electrical and Electronic Engineering,Atomic and Molecular Physics, and Optics
Reference9 articles.
1. B. Afshari S. Hetzl G.E. Leigh Proceedings TLCA'15, Warsaw, Poland, (LIPIcs, Dagstuhl, 2015), pp. 1-16.
2. B. Afshari S. Hetzl G.E. Leigh Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by D. Probst and P. Schuster, Ontos Mathematical Logic (De Gruyter, Berlin, Boston, 2016), in press.
3. B. Afshari S. Hetzl G.E. Leigh On the Herbrand content of LK, CL&C'16, Porto, Portugal, EPTCS (OPA, 2016), in press.
4. S. Eberhard S. Hetzl Ann. Pure Appl. Logic 166(2), 665 (2015).
5. S. Eberhard S. Hetzl Proceedings DCFS'15, Waterloo, Canada, (Springer, 2015), pp. 93-104.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献