Publications
Export 8 results:
Filters: First Letter Of Last Name is E [Clear All Filters]
, “A feasible theory of truth over combinatory logic”. Submitted.
, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.
, “Weak applicative theories, truth, and computational complexity”. Universität Bern, 2013.
, “Weak theories of truth and explicit mathematics”, in Logic, Construction, Computation, 2012, pp. 157–184.
, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
, “Aspekte beweisbar totaler Funktionen in applikativen Theorien”. Universität Bern, 2009.
, “Executable models for analysis and implementation of complex systems”, in Proceedings of Information Conference of Swiss Priority Programme Informatics Research 1992{–}1996, Module 1: Secure Distributed Systems, 1994.