# Publications

Export 7 results:
Filters: First Letter Of Title is N  [Clear All Filters]
2010
K. Brünnler, Nested Sequents. Universität Bern, 2010.
2009
R. Kuznets, A Note on the Use of Sum in the Logic of Proofs, in Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium, Patras University, Greece, 2009, pp. 99–103.
, The NP-completeness of reflected fragments of justification logics, in Proceedings of {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'09), 2009, vol. 5407, pp. 122-136.
2000
T. Strahm, The non-constructive $μ$-operator, fixed point theories with ordinals, and the bar rule, Annals of Pure and Applied Logic, vol. 104, p. 305{–}324, 2000.
R. Kahle, N-strictness in applicative theories, Archive for Mathematical Logic, vol. 39, p. 125{–}144, 2000.
1998
S. Schwendimann, A new one-pass tableau calculus for $\mathsf{PLTL}$, in Proceedings of Tableaux '98, 1998, vol. 1397, p. 277{–}292.