Publications
Export 16 results:
Filters: First Letter Of Title is A [Clear All Filters]
, “About the Strength of Operational Regularity”, in Logic, Construction, Computation, 2012, pp. 305–324.
, “Admissible closures of polynomial time computable arithmetic”, Archive for Mathematical Logic, vol. 50, no. 5-6, pp. 643-660, 2011.
, “An application of justification logic to protocol verification”, in Proceedings of Computational Intelligence and Security CIS 2011, 2011, p. 779{–}783.
, “Applicative theories on tree ordinal numbers”. Universität Bern, 2011.
, “Annotated Systems for Common Knowledge”. Universität Bern, 2010.
, “Aspekte beweisbar totaler Funktionen in applikativen Theorien”. Universität Bern, 2009.
, “An Algorithmic Interpretation of a Deep Inference System”, in LPAR 2008, 2008, vol. 5330, p. 482–-496.
, “Automatic Model Checking of UML models”. Universität Bern, 2008.
, “About cut elimination for logics of common knowledge”, Annals of Pure and Applied Logic, vol. 133, p. 73{–}99, 2005.
, “ALOE – A Graphical Editor for OWL Ontologies”. Universität Bern, 2005.
, “Autonomous fixed point progressions and fixed point transfinite recursion”, in Proceedings of Logic Colloquium '98, 2000, vol. 13, p. 449{–}464.
, “On applicative theories”, in Logic and Foundations of Mathematics, 1999, p. 83{–}92.
, “Aspects of Computational Logic”. Universität Bern, 1998.
, “Applikative Theorien und Frege-Strukturen”. Universität Bern, 1997.
, “About some symmetries of negation”, The Journal of Symbolic Logic, vol. 59, p. 473{–}485, 1994.