Publications

Export 7 results:

Filters: First Letter Of Last Name is E [Clear All Filters]

Submitted

S. Eberhard, “Applicative theories for logarithmic complexity classes”. Submitted.

S. Eberhard, “A feasible theory of truth over combinatory logic”. Submitted.

In Press

S. Eberhard and T. Strahm, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.

2012

S. Eberhard and T. Strahm, “Weak theories of truth and explicit mathematics”, in Logic, Construction, Computation, 2012, pp. 157–184.

2010

G. Jäger, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.

2009

S. Eberhard, “Aspekte beweisbar totaler Funktionen in applikativen Theorien”. Universität Bern, 2009.

1994

B. Bütler, R. Esser, G. Jäger, U. - M. Künzi, H. Lienhard, and R. Mattmann, “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.