• Articles
  • [AC2000] Aguzzoli S. et al., "Finiteness of infinite-valued Lukasie..." (2000)
  • [AC1997] Asperti A. et al., "A Sufficient Condition for Completabi..." (1997)
  • [ACN2000] Aguzzoli S. et al., "Sequent calculi for finite-valued..." (2000)
  • [ATZ1996] Ambos-spies K. et al., "Genericity and measure for exponential..." (1996)
  • [BCM2004] Baaz M. et al., "Analytic Calculi for Monoidal T-norm..." (2004)
  • [BFSZ1998] Baaz M. et al., "Labeled Calculi and Finite-valued Logics" (1998)
  • [BHMV] Baaz M. et al., "Complexity of t-Tautologies."
  • [BL2004] Baaz M. et al., "Towards a clausal analysis of..." (2004)
  • [BP2004] Baaz M. et al., "Herbrand Disjunctions and Extraction of..." (2004)
  • [Baa2003] Baaz M., "Note on a Translation of Charactize..." (2003)
  • [Baa1986] Baaz M., "Kripke-Type Semantics for Da Costa's..." (1986)
  • [Baa1992] Baaz M., "Automatisches Beweisen für..." (1992)
  • [Baa1999] Baaz M., "Note on Generalization of Calculations" (1999)
  • [BSB1995] Brunner N. et al., "Effective quantum observables" (1995)
  • [BSB1996] Brunner N. et al., "The Axiom of Choice in Quantum Theory" (1996)
  • [BF1995b] Baaz M. et al., "Resolution-Based Theorem Proving for..." (1995)
  • [BFZ1993] Baaz M. et al., "Dual Systems of Sequents and Tableaux..." (1993)
  • [BFZ1994] Baaz M. et al., "Elimination of Cuts in First-order..." (1994)
  • [BFZ1995] Baaz M. et al., "Proof theory of finite-valued logics..." (1995)
  • [BHKS1998] Baaz M. et al., "Embedding Logics into Product Logic" (1998)
  • [BL2000] Baaz M. et al., "Cut Elimination and..." (2000)
  • [BL1992] Baaz M. et al., "Complexity of Resolution Proofs and..." (1992)
  • [BL1994] Baaz M. et al., "On Skolemization and Proof Complexity" (1994)
  • [BL1998] Baaz M. et al., "Extensionskalküle und..." (1998)
  • [BL1999] Baaz M. et al., "Cut Normal Forms and Proof Complexity" (1999)
  • [BLZ1996] Baaz M. et al., "Completeness of a First-order Temporal..." (1996)
  • [BV1999b] Baaz M. et al., "Interpolation in Fuzzy Logic" (1999)
  • [BZ1992b] Baaz M. et al., "Note on Calculi for a Three-Valued Logic..." (1992)
  • [BZ1995] Baaz M. et al., "Generalizing Theorems in Real Closed..." (1995)
  • [BZ1995b] Baaz M. et al., "Generalizing theorems in real closed..." (1995)
  • [BZ1998b] Baaz M. et al., "Note on Generalizing Theorems in..." (1998)
  • [Cia2004] Ciabattoni A., "A Proof-theoretical Investigation of..." (2004)
  • [CF2001] Ciabattoni A. et al., "Hypersequent calculi for some..." (2001)
  • [CGE2002] Ciabattoni A. et al., "T-norm based logics with..." (2002)
  • [CGO1998] Ciabattoni A. et al., "Cut-free Proof Systems for Logics of ..." (1998)
  • [CL1997] Ciabattoni A. et al., "Two Connections between Linear Logic and..." (1997)
  • [Iem2001c] Iemhoff R., "On the admissible rules of Intuitioni..." (2001)
  • [Iem2001b] Iemhoff R., "A(nother) characterization of..." (2001)
  • [Iem2002] Iemhoff R., "Review of: Submodels of Kripke..." (2002)
  • [Iem2003] Iemhoff R., "Preservativity logic (An analogue of..." (2003)
  • [JST] Jain S. et al., "Counting extensional differences in..."
  • [AMRT2003] Ambos-spies K. et al., "Almost complete sets" (2003)
  • [ST1999] Stephan F. et al., "The complexity of universal text-learners" (1999)
  • [KT1999] Kucera A. et al., "Lowness for the class of random sets" (1999)
  • [TZ2001] Terwijn S. A. et al., "Computational randomness and lowness" (2001)
  • [DT2002] Downey R. et al., "Computably enumerable reals and unifo..." (2002)
  • [HK1965] Hlawka E. et al., "Geordnete Schätzfunktionen und..." (1965)
  • [Kui1970] Kuich W., "On the entropy of context-free languages" (1970)
  • [Kui1970b] Kuich W., "Systems of pushdown acceptors and..." (1970)
  • [KM1971] Kuich W. et al., "The structure generating function and..." (1971)
  • [Kui1971] Kuich W., "The complexity of skewlinear tuple..." (1971)
  • [KS1976] Kuich W. et al., "The structure generating function of ..." (1976)
  • [Kui1980] Kuich W., "Generating functions for derivation trees" (1980)
  • [Kui1980b] Kuich W., "Quantitative Aspekte bei..." (1980)
  • [Kui1981] Kuich W., "The characterization of parallel..." (1981)
  • [BK1981] Baron G. et al., "The characterization of nonexpansive..." (1981)
  • [Kui1981b] Kuich W., "Zur Theorie algebraischer Systeme" (1981)
  • [Kui1987] Kuich W., "Hauptkegel algebraischer Potenzreihen" (1987)
  • [Kui1991] Kuich W., "Automata and languages generalized to..." (1991)
  • [Kui1995] Kuich W., "Representations and complete semiring..." (1995)
  • [HK1996] Honkala J. et al., "On a power series generalization of ETL..." (1996)
  • [HK1995] Honkala J. et al., "On four classes of Lindenmayerian power..." (1995)
  • [ATZ1997] Ambos-spies K. et al., "Resource bounded randomness and weakly..." (1997)
  • [HK1997] Honkala J. et al., "On Lindenmayerian algebraic power series" (1997)
  • [Kui1997] Kuich W., "Cones and abstract families of elements" (1997)
  • [TT1998] Terwijn S. A. et al., "Arithmetical measure" (1998)
  • [Ter] Terwijn S. A., "Complexity and randomness"
  • [BBP2003] Beckmann A. et al., "Ordinal Notations and Well-Orderings in..." (2003)
  • [Bec2002e] Beckmann A., "Proving consistency of equational..." (2002)
  • [Bec2003] Beckmann A., "Dynamic ordinal analysis" (2003)
  • [Bec2002d] Beckmann A., "Notations for exponentiation" (2002)
  • [Bec2001] Beckmann A., "Exact bounds for lengths of reduction..." (2001)
  • [Bec2002] Beckmann A., "A non-well-founded primitive recursive..." (2002)
• Books
  • [KS1986] Kuich W. et al., "Semirings, automata, languages" (1986)
• In a collection
  • [BCF2003] Baaz M. et al., "Sequent of relations calculi: A frame..." (2003)
  • [BEL2001] Baaz M. et al., "Normal Form Transformations" (2001)
  • [BEL1998] Baaz M. et al., "Extension Methods in Automated Deduction" (1998)
  • [BFS2001] Baaz M. et al., "Automated Deduction for Many-Valued..." (2001)
  • [BM2001] Baaz M. et al., "On a generalisation of Herbrand's theorm" (2001)
  • [Baa2001] Baaz M., "Logik des Juridischen Schließens" (2001)
  • [BZ2002] Baaz M. et al., "Das Vollständigkeitsproblem und..." (2002)
  • [Baa1988] Baaz M., "Über den allgemeinen Gehalt von..." (1988)
  • [Baa1989b] Baaz M., "Automatisches Beweisen für..." (1989)
  • [Baa1993] Baaz M., "Note on the Existence of Most-general..." (1993)
  • [BKQ1991] Baaz M. et al., "A Formal Model of Managerial Decision..." (1991)
  • [BL1985] Baaz M. et al., "Die Anwendung starker Reduktionsregel..." (1985)
  • [BL1995] Baaz M. et al., "Methods of Functional Extensions" (1995)
  • [BP1993] Baaz M. et al., "Kreisel's Conjecture for..." (1993)
  • [BQ1988b] Baaz M. et al., "Juridische Schlüsse und mehrwertige..." (1988)
  • [BQ1992b] Baaz M. et al., "Logic-Based Models of Analogical..." (1992)
  • [Kui1995b] Kuich W., "The algebraic equivalent of AFL theory" (1995)
  • [Kui1998] Kuich W., "Gaussian elimination and a..." (1998)
  • [KPU1979] Kuich W. et al., "On the height of derivation trees" (1979)
  • [Kui1987b] Kuich W., "The Kleene and the Parikh theorem in..." (1987)
  • [Kui1988] Kuich W., "Polynomalgebren, algebraische Systeme..." (1988)
  • [Kui1991b] Kuich W., "Halbringe und ihre Anwendungen in der..." (1991)
  • [Kui1994] Kuich W., "On the multiplicity equivalence problem..." (1994)
  • [Kui1997c] Kuich W., "Semirings and formal power series: their..." (1997)
  • [Kui1997b] Kuich W., "Generalized Lindenmayerian algebraic..." (1997)
  • [KK1997] Karner G. et al., "A characterization of abstract families..." (1997)
• In proceedings
  • [AC1995] Asperti A. et al., "Effective Applicative Structures" (1995)
  • [BC2002] Baaz M. et al., "A Schütte-Tait Style Cut-Elimina..." (2002)
  • [BCF2001b] Baaz M. et al., "Cut-Elimination in a..." (2001)
  • [BCF2001c] Baaz M. et al., "Herbrand's Theorem for Prenex Gödel..." (2001)
  • [BCF2001] Baaz M. et al., "A Natural Deduction System for..." (2001)
  • [BCFV1998] Baaz M. et al., "Proof theory of fuzzy logic:Urquhart's C..." (1998)
  • [BCFV1999] Baaz M. et al., "On the Undecidability of Some..." (1999)
  • [BF2001] Baaz M. et al., "A Note on the Proof-Theoretic Strengt..." (2001)
  • [BF2003] Baaz M. et al., "A translation characterizing the..." (2003)
  • [BL2001] Baaz M. et al., "Comparing the Complexity of..." (2001)
  • [BLM1999] Baaz M. et al., "System Description: CutRes 0.1:..." (1999)
  • [BM2002] Baaz M. et al., "On generalizations of semi-terms of..." (2002)
  • [BPZ2003] Baaz M. et al., "Characterization of the Axiomatizable..." (2003)
  • [Baa2002] Baaz M., "Proof Analysis by Resolution" (2002)
  • [Baa2002b] Baaz M., "Proof Analysis by Resolution" (2002)
  • [Baa1983] Baaz M., "Gödel's Justification of His..." (1983)
  • [Baa1987] Baaz M., "Automatisches Beweisen für..." (1987)
  • [Baa1989] Baaz M., "An Effective Decision Algorithm for..." (1989)
  • [Baa1993b] Baaz M., "The Scheme of Identity: a Computational..." (1993)
  • [Baa1994] Baaz M., "Generalization of Proofs and Term..." (1994)
  • [Baa1996] Baaz M., "Infinite-valued Gödel Logics with..." (1996)
  • [BBS1993] Baaz M. et al., "Interpretations of Combinatory Algebras" (1993)
  • [BCZ2000] Baaz M. et al., "Quantified propositional Gödel..." (2000)
  • [BEF1997] Baaz M. et al., "Lean Induction Principles for Tableaux" (1997)
  • [BF1992] Baaz M. et al., "Resolution for Many-valued Logics" (1992)
  • [BF1993] Baaz M. et al., "A Resolution principle for..." (1993)
  • [BF1995] Baaz M. et al., "Non-elementary Speedups between Diffe..." (1995)
  • [BF1996b] Baaz M. et al., "Intuitionistic Counterparts of..." (1996)
  • [BF1996] Baaz M. et al., "Combining Many-valued and Intuitionistic..." (1996)
  • [BF1999] Baaz M. et al., "Analytic Calculi for Projective Logics" (1999)
  • [BFL1994] Baaz M. et al., "A Non-elementary Speed-Up in Proof Le..." (1994)
  • [BFOZ1993] Baaz M. et al., "MULTLOG: A System for Axiomatizing..." (1993)
  • [BFQZ1993] Baaz M. et al., "A Many-Valued Logic for Default Reasoning" (1993)
  • [BFS1995] Baaz M. et al., "Systematic Construction of Calculi for..." (1995)
  • [BFSZ1996] Baaz M. et al., "MUltlog 1.0: Towards an Expert System..." (1996)
  • [BFV2000] Baaz M. et al., "An Analytic Calculus for Quantified..." (2000)
  • [BFZ1992] Baaz M. et al., "Dual Systems of Sequents and Tableaux..." (1992)
  • [BFZ1993b] Baaz M. et al., "Systematic Construction of Natural..." (1993)
  • [BGQV1993] Baaz M. et al., "The Application of Kripke-Type Struct..." (1993)
  • [BH1994] Baaz M. et al., "A New Frame for Common-Sense..." (1994)
  • [BL1985b] Baaz M. et al., "Eine Methode zur automatischen..." (1985)
  • [BL1989] Baaz M. et al., "Strong Splitting Rules in Automated..." (1989)
  • [BL1990] Baaz M. et al., "A Strong Problem Reduction Method Based..." (1990)
  • [BL1997b] Baaz M. et al., "Fast Cut-Elimination by Projection" (1997)
  • [BL1997] Baaz M. et al., "Cut elimination by resolution" (1997)
  • [BLZ1996b] Baaz M. et al., "Incompleteness of a First-order..." (1996)
  • [BQ1987] Baaz M. et al., "Modelling Priorities in Legal Expert..." (1987)
  • [BQ1987b] Baaz M. et al., "The Application of Multiple Valued Logic..." (1987)
  • [BQ1988d] Baaz M. et al., "Models of Juridical Decisions Based on..." (1988)
  • [BQ1988c] Baaz M. et al., "Models of Civil Procedures Based on..." (1988)
  • [BQ1988] Baaz M. et al., "Automated Theorem Proving for the..." (1988)
  • [BQ1990] Baaz M. et al., "A Logic Based Model of Legal Decision..." (1990)
  • [BQ1991b] Baaz M. et al., "A Formal Model of Analogical Reasonin..." (1991)
  • [BQ1991] Baaz M. et al., "A Formal Model for the Support of..." (1991)
  • [BQ1992] Baaz M. et al., "Analogical Reasoning in Legal Expert..." (1992)
  • [BQ1993] Baaz M. et al., "Analogical Reasoning and Logic Based..." (1993)
  • [BS1995] Baaz M. et al., "Semi-Unification and Generalizations ..." (1995)
  • [BV1999c] Baaz M. et al., "Quantifier Elimination in Fuzzy Logic" (1999)
  • [BV1999] Baaz M. et al., "An axiomatization of quantified..." (1999)
  • [BZ2000] Baaz M. et al., "Hypersequent and the Proof Theory of..." (2000)
  • [BZ1993] Baaz M. et al., "Algorithmic Structuring of Cut-free..." (1993)
  • [BZ1994b] Baaz M. et al., "Short Proofs of Tautologies Using the..." (1994)
  • [BZ1994] Baaz M. et al., "Approximatig Propositional Calculi by..." (1994)
  • [BZ1998] Baaz M. et al., "Compact Propositional Gödel Logic" (1998)
  • [Cia1999] Ciabattoni A., "Bounded Contraction in Systems with..." (1999)
  • [CF2000] Ciabattoni A. et al., "Hypertableau and Path-Hypertableau..." (2000)
  • [FC2003] Fermüller C. G. et al., "From Intuitionistic Logics to..." (2003)
  • [CF2001b] Ciabattoni A. et al., "Hypersequents as a uniform framework for..." (2001)
  • [CM2003] Ciabattoni A. et al., "Bounded Lukasiewicz Logics" (2003)
  • [Cia2000] Ciabattoni A., "On Urquhart's C logic" (2000)
  • [FP2003] Fermüller C. G. et al., "A dialogie game for Intuitionistic Fuzzy..." (2003)
  • [HLT2003] Hitchcock J. M. et al., "The arithmetical complexity of dimension..." (2003)
  • [Iem2001] Iemhoff R., "A modal analysis of some principles of..." (2001)
  • [Iem2003b] Iemhoff R., "Towards a proof system for admissibility" (2003)
  • [ST1997] Stephan F. C. et al., "The complexity of universal text-learners" (1997)
  • [Ter1999] Terwijn S. A., "Extensional set learning" (1999)
  • [AMRT2000] Ambos-spies K. et al., "Almost complete sets" (2000)
  • [Ter2001] Terwijn S. A., "On the quantitative structure of..." (2001)
  • [AJST2001] Aehlig K. et al., "Linear ramified higher type recursion..." (2001)
  • [ATZ1994] Ambos-spies K. et al., "Resource bounded randomness and weakly..." (1994)
  • [ANT1996] Ambos-spies K. et al., "Genericity and measure for exponential..." (1996)
  • [Pre2002] Preining N., "Gödel logics and Cantor-Bendixon..." (2002)
  • [Pre1997] Preining N., "Sketch-as-Proof" (1997)
  • [ST2000] Stephan F. et al., "Counting extensional differences in..." (2000)
  • [Ter2002] Terwijn S. A., "On the Learnability of Hidden Markov..." (2002)
  • [Bec2002f] Beckmann A., "Resolution refutations and propositional..." (2002)
  • [Bec2002b] Beckmann A., "A note on universal measures for weak..." (2002)
• Master's thesis
  • [Pre1996] Preining N., "Sketch-as-proof, a proof-theoretic..." (1996)
• Miscellaneous documents
  • [BCPV2001] Baaz M. et al., "A Guide to Quantified Propositional..." (2001)
• PhD thesis
  • [Baa1984] Baaz M., "Die Anwendung der Methode der..." (1984)
  • [Baa1984b] Baaz M., "The Application of Sequent Calculi to..." (1984)
  • [Baa1992b] Baaz M., "Logical Calculi Applied to Problems in..." (1992)
  • [Iem2001d] Iemhoff R., "Provability Logic and Admissible Rules" (2001)
  • [Pre2003] Preining N., "Complete Recursive Axiomatizability of..." (2003)
  • [Ter1998] Terwijn S. A., "Computability and measure" (1998)
• Technical reports
  • [BFGPS2003] Baaz M. et al., "MUltlog and MUltseq Reanimated and..." (2003)
  • [Baa1987b] Baaz M., "Quantifier elimination for heterogeneous..." (1987)
  • [Baa1990b] Baaz M., "Automated Theorem Proving for Many-va..." (1990)
  • [Baa1990] Baaz M., "Automated Theorem Proving for Many-va..." (1990)
  • [BFZ1992b] Baaz M. et al., "Systematic Construction of Natural..." (1992)
  • [BFZ1993c] Baaz M. et al., "Systematic Construction of Natural..." (1993)
  • [BL1984] Baaz M. et al., "Eine Methode zur Reduktion des..." (1984)
  • [BL1986] Baaz M. et al., "Strong Inference in Automated Theorem..." (1986)
  • [BLZ1995] Baaz M. et al., "Incompleteness of a First-Order..." (1995)
  • [BZ1992] Baaz M. et al., "Introducing Atomic Cuts into Cut-free..." (1992)
  • [BZ1993b] Baaz M. et al., "First-order Temporal Logic with..." (1993)
  • [CKTZ1997] Christensen J. et al., "On the complexity of finitely additive..." (1997)
  • [Pre2002b] Preining N., "Proof theory and proof systems for..." (2002)
  • [Bec2003b] Beckmann A., "Height restricted constant depth LK" (2003)
• Unpublished
  • [BP2004b] Baaz M. et al., "Propositional Quantifier Elimination for..." (2004)
  • [BPZ2004] Baaz M. et al., "On the classification of Gödel..." (2004)
  • [BB2004] Beckmann A. et al., "Separation results for the size of..." (2004)
  • [Bec2002c] Beckmann A., "Dynamic ordinals -- universal measures..." (2002)
  • [Bec2001b] Beckmann A., "Preservation theorems and restricted..." (2001)

Submit a bug

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