Mc Kinley, Richard

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2013 | 2010 | 2009 | 2008


McKinley, Richard (2013). Canonical proof nets for classical logic. Annals of pure and applied logic, 164(6), pp. 702-732. Elsevier 10.1016/j.apal.2012.05.007

McKinley, Richard (2013). Proof Nets for Herbrand’s Theorem. ACM Transactions on Computational Logic, 14(1), pp. 1-31. New York: ACM 10.1145/2422085.2422090


McKinley, Richard (2010). Expansion nets: Proof nets for propositional classical logic. In: Fermüller, Christian; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 6397 (pp. 535-549). Heidelberg: Springer Verlag 10.1007/978-3-642-16242-8


McKinley, Richard (2009). The alpha-epsilon calculus. In: Proceedings of Workshop on Structures and Deduction.


Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34

McKinley, Richard (2008). Soft linear set theory. Journal of logic and algebraic programming, 76(2), pp. 226-245. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.010

Provide Feedback