J

J

• in: Aguzzoli S., Ciabattoni A. and Nola A. D.
  "Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000)
• in: Asperti A. and Ciabattoni A.
  "A Sufficient Condition for Completability of Partial Combinatory Algebras" (1997)
• in: Baaz M. and Leitsch A.
  "Cut Elimination and redundancy-elimination by Resolution" (2000)
• in: Baaz M. and Fermüller C. G.
  "Resolution-Based Theorem Proving for Many-Valued Logics" (1995)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Elimination of Cuts in First-order Finite-valued Logics" (1994)
• in: Beckmann A.
  "Proving consistency of equational theories in bounded arithmetic" (2002)
• in: Beckmann A.
  "Exact bounds for lengths of reductions in typed $\lambda$-calculus" (2001)
• in: Ciabattoni A. and Ferrari M.
  "Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001)
• in: Honkala J. and Kuich W.
  "On four classes of Lindenmayerian power series" (1995)
• in: Kucera A. and Terwijn S. A.
  "Lowness for the class of random sets" (1999)
• in: Kuich W.
  "Hauptkegel algebraischer Potenzreihen" (1987)
• in: Terwijn S. A. and Zambella D.
  "Computational randomness and lowness" (2001)

Jäger G.

in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993) 

Jahrbuch

• in: Baaz M.
  "Automatisches Beweisen für endlichwertige Logiken" (1989)
• in: Baaz M. and Quirchmayr G.
  "Juridische Schlüsse und mehrwertige Logik" (1988)

Jain S.

in: Jain S., Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" 

Johannsen J.

in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001) 

Journal

• in: Aguzzoli S. and Ciabattoni A.
  " Finiteness of infinite-valued Lukasiewicz logic" (2000)
• in: Baaz M. and Preining N.
  "Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004)
• in: Baaz M. and Leitsch A.
  "Towards a clausal analysis of cut-elimination" (2004)
• in: Baaz M.
  "Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$_ω" (1986)
• in: Iemhoff R.
  "On the admissible rules of Intuitionistic Propositional Logic" (2001)

Juridical

in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988) 

Juridische

in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988) 

Juridischen

in: Baaz M.
"Logik des Juridischen Schließens" (2001) 

Justification

in: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983) 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)