Cited By
View all- Rabe F(2018)A Modular Type Reconstruction AlgorithmACM Transactions on Computational Logic10.1145/323469319:4(1-43)Online publication date: 8-Dec-2018
- Chihani ZMiller DRenaud F(2017)A Semantic Framework for Proof EvidenceJournal of Automated Reasoning10.1007/s10817-016-9380-659:3(287-330)Online publication date: 1-Oct-2017
- Miller D(2017)Proof checking and logic programmingFormal Aspects of Computing10.1007/s00165-016-0393-z29:3(383-399)Online publication date: 1-May-2017
- Show More Cited By