# Publications

Export 12 results:
Filters: First Letter Of Last Name is C  [Clear All Filters]
2012
T. Studer, Justified Terminological Reasoning, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
2008
, An Algorithmic Interpretation of a Deep Inference System, in LPAR 2008, 2008, vol. 5330, p. 482–-496.
2005
G. Jäger, Metapredicative and explicit Mahlo: a proof-theoretic perspective, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.
2000
, A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$, in Proceedings of Computer Science Logic, 2000, vol. 1862, p. 356{–}370.
1999
, On applicative theories, in Logic and Foundations of Mathematics, 1999, p. 83{–}92.
, On applicative theories, in Logic and Foundations of Mathematics, 1999, p. 83{–}92.
, Epsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule, in Logic and Foundation of Mathematics, 1999, p. 107{–}130.
, Epsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule, in Logic and Foundation of Mathematics, 1999, p. 107{–}130.
T. Strahm, First steps into metapredicativity in explicit mathematics, in Sets and Proofs, 1999, vol. 258, p. 383{–}402.
1997
, Hybrid spectral transform diagrams, in Proceedings of the International Conference on Information and Communications Security, 1997, vol. 1334, p. 251{–}255.
, Hybrid spectral transform diagrams. Carnegie Mellon University, 1997.
, Model checking, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.