Publications
Export 4 results:
Filters: First Letter Of Last Name is Z [Clear All Filters]
, “About the Strength of Operational Regularity”, in Logic, Construction, Computation, 2012, pp. 305–324.
, “Ontological Questions about Operational Set Theory”. Universität Bern, 2009.
, “Primitive recursive selection functions for existential assertions over abstract algebras”, Journal of Logic and Algebraic Programming, vol. 76, pp. 175-197, 2008.
, “Efficient loop-check for backward proof search in some non-classical propositional logics”, in Proceedings of Tableaux '96, 1996, vol. 1071, p. 210{–}225.