[1] | David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, and Yuting Wang. Abella: A system for reasoning about relational specifications. Journal of Formalized Reasoning, 7(2), 2014. [ bib | DOI | http ] |
[2] | Christoph Benzmüller and Dale Miller. Automation of higher-order logic. In J. Siekmann, editor, Computational Logic, volume 9 of Handbook of the History of Logic, pages 215--254. North Holland, 2014. [ bib | DOI ] |
[3] | Kaustuv Chaudhuri. Undecidability of multiplicative subexponential logic. In Sandra Alves and Iliano Cervesato, editors, 3rd International Workshop on Linearity (LINEARITY), volume 176 of Electronic Proceedings in Theoretical Computer Science, pages 1--8, Vienna, Austria, July 2014. [ bib | DOI | http ] |
[4] | Kaustuv Chaudhuri and Nicolas Guenot. Equality and fixpoints in the calculus of structures. In Tom Henzinger and Dale Miller, editors, Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014. [ bib | DOI | .pdf ] |
[5] | Anupam Das. Pigeonhole and related combinatorial principles in deep inference and monotone systems. In Tom Henzinger and Dale Miller, editors, Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014. [ bib | DOI ] |
[6] | Nicolas Guenot and Lutz Strassburger. Symmetric normalisation for intuitionistic logic. In Tom Henzinger and Dale Miller, editors, Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014. [ bib | DOI ] |
[7] | Danko Ilik. Axioms and decidability for type isomorphism in presence of sums. In Tom Henzinger and Dale Miller, editors, Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014. [ bib | DOI ] |
[8] | Dale Miller. Communicating and trusting proofs: The case for broad spectrum proof certificates. In P. Schroeder-Heister, W. Hodges, G. Heinzmann, and P. E. Bour, editors, Logic, Methodology, and Philosophy of Science. Proceedings of the Fourteenth International Congress, pages 323--342. College Publications, 2014. [ bib ] |
[9] | Mary Southern and Kaustuv Chaudhuri. A two-level logic approach to reasoning about typed specification languages. In Venkatesh Raman and S. P. Suresh, editors, 34th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 29 of Leibniz International Proceedings in Informatics (LIPIcs), pages 557--569, New Delhi, India, December 2014. Schloss Dagstuhl--Leibniz-Zentrum für Informatik. [ bib | DOI | .pdf ] |
This file was generated by bibtex2html 1.98.