 | Up a level |
Metcalfe, George; Röthlisberger, Christoph (2012). Unifiability and Admissibility in Finite Algebras. In: Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt (eds.) How the World Computes. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Lecture Notes in Computer Science: Vol. 7318 (pp. 485-495). Heidelberg: Springer Verlag 10.1007/978-3-642-30870-3_49
Romeijn, J.W.; Haenni, R.; Wheeler, G.; Williamson, J. (2009). Logical Relations in a Statistical Problem. In: Löwe, Benedikt; Pacuit, Eric; Romeijn, Jan-Willem (eds.) Foundation of the formal Sciences VI. Probabilistic Reasoning and Reasoning with Probabilities. Studies in Logic (pp. 49-79). College Publications
Brünnler, Kai (2006). Deep inference and its normal form of derivations. In: Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. (eds.) Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3988 (pp. 65-74). Heidelberg: Springer Verlag 10.1007/11780342_7
