Publications
Export 12 results:
Filters: First Letter Of Last Name is C [Clear All Filters]
, “Justified Terminological Reasoning”, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
, “An Algorithmic Interpretation of a Deep Inference System”, in LPAR 2008, 2008, vol. 5330, p. 482–-496.
, “Metapredicative and explicit Mahlo: a proof-theoretic perspective”, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.
, “A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$”, in Proceedings of Computer Science Logic, 2000, vol. 1862, p. 356{–}370.
, “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.
, “First steps into metapredicativity in explicit mathematics”, in Sets and Proofs, 1999, vol. 258, p. 383{–}402.
, “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.