|
Bibliography | ||||
| FRAMES NO FRAME | |||||
| 2004 | |
| Baaz M., Ciabattoni A. and Montagna F. | "Analytic Calculi for Monoidal T-norm Based Logic" (Article) |
| Baaz M. and Preining N. | "Herbrand Disjunctions and Extraction of Proofs from Sketches" (Article) |
| Baaz M., Preining N. and Zach R. | "On the classification of Gödel logics" (Unpublished) |
| Baaz M. and Preining N. | "Propositional Quantifier Elimination for linearly ordered well founded..." (Unpublished) |
| Baaz M. and Leitsch A. | "Towards a clausal analysis of cut-elimination" (Article) |
| Beckmann A. and Buss S. R. | "Separation results for the size of constant-depth propositional proofs" (Unpublished) |
| Ciabattoni A. | "A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy)..." (Article) |
| 2003 | |
| Ambos-spies K., Merkle W., Riemann J. and Terwijn S. A. | "Almost complete sets" (Article) |
| Baaz M. and Fermüller C. G. | "A translation characterizing the constructive content of classical..." (In proceedings) |
| Baaz M., Preining N. and Zach R. | "Characterization of the Axiomatizable Prenex Fragments of First-Order..." (In proceedings) |
| Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G. | "MUltlog and MUltseq Reanimated and Married" (Technical report) |
| Baaz M. | "Note on a Translation of Charactize Constructivity" (Article) |
| Baaz M., Ciabattoni A. and Fermüller C. G. | "Sequent of relations calculi: A framework for analytic deduction in..." (In a collection) |
| Beckmann A. | "Dynamic ordinal analysis" (Article) |
| Beckmann A. | "Height restricted constant depth LK" (Technical report) |
| Beckmann A., Buss S. R. and Pollett C. | "Ordinal Notations and Well-Orderings in Bounded Arithmetic" (Article) |
| Ciabattoni A. and Metcalfe G. | "Bounded Lukasiewicz Logics" (In proceedings) |
| Fermüller C. G. and Preining N. | "A dialogie game for Intuitionistic Fuzzy Logic based on comparison of..." (In proceedings) |
| Fermüller C. G. and Ciabattoni A. | "From Intuitionistic Logics to Gödel-Dummett Logic via Parallel..." (In proceedings) |
| Hitchcock J. M., Lutz J. H. and Terwijn S. A. | "The arithmetical complexity of dimension and randomness" (In proceedings) |
| Iemhoff R. | "Preservativity logic (An analogue of interpretability logic for..." (Article) |
| Iemhoff R. | "Towards a proof system for admissibility" (In proceedings) |
| Preining N. | "Complete Recursive Axiomatizability of Gödel Logics" (PhD thesis) |
| 2002 | |
| Baaz M. and Ciabattoni A. | "A Schütte-Tait Style Cut-Elimination Proof for First-Order..." (In proceedings) |
| Baaz M. and Zach R. | "Das Vollständigkeitsproblem und Gödels..." (In a collection) |
| Baaz M. and Moser G. | "On generalizations of semi-terms of particularly simple form" (In proceedings) |
| Baaz M. | "Proof Analysis by Resolution" (In proceedings) |
| Baaz M. | "Proof Analysis by Resolution" (In proceedings) |
| Beckmann A. | "A non-well-founded primitive recursive tree provably well-founded for..." (Article) |
| Beckmann A. | "A note on universal measures for weak implicit computational complexity" (In proceedings) |
| Beckmann A. | "Dynamic ordinals -- universal measures for implicit computational..." (Unpublished) |
| Beckmann A. | "Notations for exponentiation" (Article) |
| Beckmann A. | "Proving consistency of equational theories in bounded arithmetic" (Article) |
| Beckmann A. | "Resolution refutations and propositional proofs with height-restriction" (In proceedings) |
| Ciabattoni A., Godo L. and Esteva F. | "T-norm based logics with -contraction" (Article) |
| Downey R. and Terwijn S. A. | "Computably enumerable reals and uniformly presentable ideals" (Article) |
| Iemhoff R. | "Review of: Submodels of Kripke Models, by A. Visser" (Article) |
| Preining N. | "Gödel logics and Cantor-Bendixon Analysis" (In proceedings) |
| Preining N. | "Proof theory and proof systems for projective and affine geometry" (Technical report) |
| Terwijn S. A. | "On the Learnability of Hidden Markov Models" (In proceedings) |
| 2001 | |
| Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A. | "Linear ramified higher type recursion and parallel complexity" (In proceedings) |
| Baaz M., Ciabattoni A., Preining N. and Veith H. | "A Guide to Quantified Propositional Gödel Logic" (Miscellaneous document) |
| Baaz M., Ciabattoni A. and Fermüller C. G. | "A Natural Deduction System for Intuitionistic Fuzzy Logic" (In proceedings) |
| Baaz M. and Fermüller C. G. | "A Note on the Proof-Theoretic Strength of a single application of the..." (In proceedings) |
| Baaz M., Fermüller C. G. and Salzer G. | "Automated Deduction for Many-Valued Logics" (In a collection) |
| Baaz M. and Leitsch A. | "Comparing the Complexity of Cut-Elimination Methods" (In proceedings) |
| Baaz M., Ciabattoni A. and Fermüller C. G. | "Cut-Elimination in a Sequents-of-Relations Calculus for Gödel..." (In proceedings) |
| Baaz M., Ciabattoni A. and Fermüller C. G. | "Herbrand's Theorem for Prenex Gödel Logic and its Consequences..." (In proceedings) |
| Baaz M. | "Logik des Juridischen Schließens" (In a collection) |
| Baaz M., Egly U. and Leitsch A. | "Normal Form Transformations" (In a collection) |
| Baaz M. and Moser G. | "On a generalisation of Herbrand's theorm" (In a collection) |
| Beckmann A. | "Exact bounds for lengths of reductions in typed..." (Article) |
| Beckmann A. | "Preservation theorems and restricted consistency statements in bounded..." (Unpublished) |
| Ciabattoni A. and Ferrari M. | "Hypersequent calculi for some intermediate logics with bounded Kripke..." (Article) |
| Ciabattoni A. and Fermüller C. | "Hypersequents as a uniform framework for Urquhart's C, MTL and related..." (In proceedings) |
| Iemhoff R. | "A modal analysis of some principles of the Provability Logic of Hey..." (In proceedings) |
| Iemhoff R. | "A(nother) characterization of Intuitionistic Propositional Logic" (Article) |
| Iemhoff R. | "On the admissible rules of Intuitionistic Propositional Logic" (Article) |
| Iemhoff R. | "Provability Logic and Admissible Rules" (PhD thesis) |
| Terwijn S. A. and Zambella D. | "Computational randomness and lowness" (Article) |
| Terwijn S. A. | "On the quantitative structure of " (In proceedings) |
| 2000 | |
| Aguzzoli S. and Ciabattoni A. | "Finiteness of infinite-valued Lukasiewicz logic" (Article) |
| Aguzzoli S., Ciabattoni A. and Nola A. D. | "Sequent calculi for finite-valued Lukasiewicz logics via boolean..." (Article) |
| Ambos-spies K., Merkle W., Reimann J. and Terwijn S. A. | "Almost complete sets" (In proceedings) |
| Baaz M., Fermüller C. G. and Veith H. | "An Analytic Calculus for Quantified Propositional Gödel Logic" (In proceedings) |
| Baaz M. and Leitsch A. | "Cut Elimination and redundancy-elimination by Resolution" (Article) |
| Baaz M. and Zach R. | "Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (In proceedings) |
| Baaz M., Ciabattoni A. and Zach R. | "Quantified propositional Gödel Logics" (In proceedings) |
| Ciabattoni A. and Ferrari M. | "Hypertableau and Path-Hypertableau Calculi for some families of..." (In proceedings) |
| Ciabattoni A. | "On Urquhart's C logic" (In proceedings) |
| Stephan F. and Terwijn S. A. | "Counting extensional differences in BC-learning" (In proceedings) |
| 1999 | |
| Baaz M. and Veith H. | "An axiomatization of quantified proposition Gödel logic using the..." (In proceedings) |
| Baaz M. and Fermüller C. G. | "Analytic Calculi for Projective Logics" (In proceedings) |
| Baaz M. and Leitsch A. | "Cut Normal Forms and Proof Complexity" (Article) |
| Baaz M. and Veith H. | "Interpolation in Fuzzy Logic" (Article) |
| Baaz M. | "Note on Generalization of Calculations" (Article) |
| Baaz M., Ciabattoni A., Fermüller C. G. and Veith H. | "On the Undecidability of Some Sub-classical First-order Logics" (In proceedings) |
| Baaz M. and Veith H. | "Quantifier Elimination in Fuzzy Logic" (In proceedings) |
| Baaz M., Leitsch A. and Moser G. | "System Description: CutRes 0.1: Cut Elimination by Resolution" (In proceedings) |
| Ciabattoni A. | "Bounded Contraction in Systems with Linearity" (In proceedings) |
| Kucera A. and Terwijn S. A. | "Lowness for the class of random sets" (Article) |
| Stephan F. and Terwijn S. A. | "The complexity of universal text-learners" (Article) |
| Terwijn S. A. | "Extensional set learning" (In proceedings) |
| 1998 | |
| Baaz M. and Zach R. | "Compact Propositional Gödel Logic" (In proceedings) |
| Baaz M., Hájek P., Krajiecek J. and Svejda D. | "Embedding Logics into Product Logic" (Article) |
| Baaz M., Egly U. and Leitsch A. | "Extension Methods in Automated Deduction" (In a collection) |
| Baaz M. and Leitsch A. | "Extensionskalküle und Beweiskomplexität" (Article) |
| Baaz M., Fermüller C. G., Salzer G. and Zach R. | "Labeled Calculi and Finite-valued Logics" (Article) |
| Baaz M. and Zach R. | "Note on Generalizing Theorems in Algebraically Closed Fields" (Article) |
| Baaz M., Ciabattoni A., Fermüller C. G. and Veith H. | "Proof theory of fuzzy logic:Urquhart's C and related logics" (In proceedings) |
| Ciabattoni A., Gabbay D. and Olivetti N. | "Cut-free Proof Systems for Logics of Weak Excluded Middle" (Article) |
| Kuich W. | "Gaussian elimination and a characterization of algebraic power series" (In a collection) |
| Terwijn S. A. and Torenvliet L. | "Arithmetical measure" (Article) |
| Terwijn S. A. | "Computability and measure" (PhD thesis) |
| 1997 | |
| Ambos-spies K., Terwijn S. A. and Zheng X. | "Resource bounded randomness and weakly complete problems" (Article) |
| Asperti A. and Ciabattoni A. | "A Sufficient Condition for Completability of Partial Combinatory..." (Article) |
| Baaz M. and Leitsch A. | "Cut elimination by resolution" (In proceedings) |
| Baaz M. and Leitsch A. | "Fast Cut-Elimination by Projection" (In proceedings) |
| Baaz M., Egly U. and Fermüller C. G. | "Lean Induction Principles for Tableaux" (In proceedings) |
| Christensen J., Kanovei V., Terwijn S. A. and Zambella D. | "On the complexity of finitely additive measures" (Technical report) |
| Ciabattoni A. and Luchi D. | "Two Connections between Linear Logic and Lukasiewicz Logics" (Article) |
| Honkala J. and Kuich W. | "On Lindenmayerian algebraic power series" (Article) |
| Karner G. and Kuich W. | "A characterization of abstract families of algebraic power series" (In a collection) |
| Kuich W. | "Cones and abstract families of elements" (Article) |
| Kuich W. | "Generalized Lindenmayerian algebraic systems" (In a collection) |
| Kuich W. | "Semirings and formal power series: their relevance to formal languages..." (In a collection) |
| Preining N. | "Sketch-as-Proof" (In proceedings) |
| Stephan F. C. and Terwijn S. A. | "The complexity of universal text-learners" (In proceedings) |
| 1996 | |
| Ambos-spies K., Terwijn S. A. and Zheng X. | "Genericity and measure for exponential time" (Article) |
| Ambos-spies K., Neis H. and Terwijn S. A. | "Genericity and measure for exponential time" (In proceedings) |
| Baaz M. and Fermüller C. G. | "Combining Many-valued and Intuitionistic Tableaux" (In proceedings) |
| Baaz M., Leitsch A. and Zach R. | "Completeness of a First-order Temporal Logic with Time-Gaps" (Article) |
| Baaz M., Leitsch A. and Zach R. | "Incompleteness of a First-order Gödel Logic and Some Temporal..." (In proceedings) |
| Baaz M. | "Infinite-valued Gödel Logics with 0-1-Projections and..." (In proceedings) |
| Baaz M. and Fermüller C. G. | "Intuitionistic Counterparts of Finitely-valued Logics" (In proceedings) |
| Baaz M., Fermüller C. G., Salzer G. and Zach R. | "MUltlog 1.0: Towards an Expert System for Many-valued Logics" (In proceedings) |
| Brunner N., Svozil K. and Baaz M. | "The Axiom of Choice in Quantum Theory" (Article) |
| Honkala J. and Kuich W. | "On a power series generalization of ETL languages" (Article) |
| Preining N. | "Sketch-as-proof, a proof-theoretic analysis of axiomatic projective..." (Master's thesis) |
| 1995 | |
| Asperti A. and Ciabattoni A. | "Effective Applicative Structures" (In proceedings) |
| Baaz M. and Zach R. | "Generalizing Theorems in Real Closed Fields" (Article) |
| Baaz M. and Zach R. | "Generalizing theorems in real closed fields (Abstract)" (Article) |
| Baaz M., Leitsch A. and Zach R. | "Incompleteness of a First-Order Gödel Logic and Some Temporal..." (Technical report) |
| Baaz M. and Leitsch A. | "Methods of Functional Extensions" (In a collection) |
| Baaz M. and Fermüller C. G. | "Non-elementary Speedups between Different Versions of Tableaux" (In proceedings) |
| Baaz M., Fermüller C. G. and Zach R. | "Proof theory of finite-valued logics (Abstract)" (Article) |
| Baaz M. and Fermüller C. G. | "Resolution-Based Theorem Proving for Many-Valued Logics" (Article) |
| Baaz M. and Salzer G. | "Semi-Unification and Generalizations of a Particularly Simple Form" (In proceedings) |
| Baaz M., Fermüller C. G. and Salzer G. | "Systematic Construction of Calculi for Finite-Valued First-Order Logics" (In proceedings) |
| Brunner N., Svozil K. and Baaz M. | "Effective quantum observables" (Article) |
| Honkala J. and Kuich W. | "On four classes of Lindenmayerian power series" (Article) |
| Kuich W. | "Representations and complete semiring morphisms" (Article) |
| Kuich W. | "The algebraic equivalent of AFL theory" (In a collection) |
| 1994 | |
| Ambos-spies K., Terwijn S. A. and Zheng X. | "Resource bounded randomness and weakly complete problems" (In proceedings) |
| Baaz M. and Hörwein K. | "A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (In proceedings) |
| Baaz M., Fermüller C. G. and Leitsch A. | "A Non-elementary Speed-Up in Proof Length by Structural Clause Form..." (In proceedings) |
| Baaz M. and Zach R. | "Approximatig Propositional Calculi by Finite-valued Logics" (In proceedings) |
| Baaz M., Fermüller C. G. and Zach R. | "Elimination of Cuts in First-order Finite-valued Logics" (Article) |
| Baaz M. | "Generalization of Proofs and Term Complexity" (In proceedings) |
| Baaz M. and Leitsch A. | "On Skolemization and Proof Complexity" (Article) |
| Baaz M. and Zach R. | "Short Proofs of Tautologies Using the Schema of Equivalence" (In proceedings) |
| Kuich W. | "On the multiplicity equivalence problem for context-free grammars" (In a collection) |
| 1993 | |
| Baaz M., Fermüller C. G., Quirchmayr G. and Zach R. | "A Many-Valued Logic for Default Reasoning" (In proceedings) |
| Baaz M. and Fermüller C. G. | "A Resolution principle for Quantificational with an..." (In proceedings) |
| Baaz M. and Zach R. | "Algorithmic Structuring of Cut-free Proofs" (In proceedings) |
| Baaz M. and Quirchmayr G. | "Analogical Reasoning and Logic Based Knowledge Representation in..." (In proceedings) |
| Baaz M., Fermüller C. G. and Zach R. | "Dual Systems of Sequents and Tableaux for Many-valued Logics" (Article) |
| Baaz M. and Zach R. | "First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus..." (Technical report) |
| Baaz M., Brunner N. and Svozil K. | "Interpretations of Combinatory Algebras" (In proceedings) |
| Baaz M. and Pudlák P. | "Kreisel's Conjecture for " (In a collection) |
| Baaz M., Fermüller C. G., Ovrutcki A. and Zach R. | "MULTLOG: A System for Axiomatizing Many-valued Logics" (In proceedings) |
| Baaz M. | "Note on the Existence of Most-general Semi-unifiers" (In a collection) |
| Baaz M., Fermüller C. G. and Zach R. | "Systematic Construction of Natural Deduction Systems for Many-valued..." (In proceedings) |
| Baaz M., Fermüller C. G. and Zach R. | "Systematic Construction of Natural Deduction Systems for Many-valued..." (Technical report) |
| Baaz M., Galindo F., Quirchmayr G. and Vázqez M. | "The Application of Kripke-Type Structures to Regional Development..." (In proceedings) |
| Baaz M. | "The Scheme of Identity: a Computational Point of View" (In proceedings) |
| 1992 | |
| Baaz M. and Quirchmayr G. | "Analogical Reasoning in Legal Expert Systems" (In proceedings) |
| Baaz M. | "Automatisches Beweisen für endlichwertige Logiken" (Article) |
| Baaz M. and Leitsch A. | "Complexity of Resolution Proofs and Function Introduction" (Article) |
| Baaz M., Fermüller C. G. and Zach R. | "Dual Systems of Sequents and Tableaux for Many-valued Logics" (In proceedings) |
| Baaz M. and Zach R. | "Introducing Atomic Cuts into Cut-free..." (Technical report) |
| Baaz M. and Quirchmayr G. | "Logic-Based Models of Analogical Reasoning" (In a collection) |
| Baaz M. | "Logical Calculi Applied to Problems in Computer Science" (PhD thesis) |
| Baaz M. and Zach R. | "Note on Calculi for a Three-Valued Logic for Logic Programming" (Article) |
| Baaz M. and Fermüller C. G. | "Resolution for Many-valued Logics" (In proceedings) |
| Baaz M., Fermüller C. G. and Zach R. | "Systematic Construction of Natural Deduction Systems for Many-valued..." (Technical report) |
| 1991 | |
| Baaz M. and Quirchmayr G. | "A Formal Model for the Support of Analogical Reasoning in Legal Expert..." (In proceedings) |
| Baaz M. and Quirchmayr G. | "A Formal Model of Analogical Reasoning: a Logic Based Approach" (In proceedings) |
| Baaz M., Kastner F. and Quirchmayr G. | "A Formal Model of Managerial Decision Making" (In a collection) |
| Kuich W. | "Automata and languages generalized to -continuous..." (Article) |
| Kuich W. | "Halbringe und ihre Anwendungen in der Automatentheorie" (In a collection) |
| 1990 | |
| Baaz M. and Quirchmayr G. | "A Logic Based Model of Legal Decision Making" (In proceedings) |
| Baaz M. and Leitsch A. | "A Strong Problem Reduction Method Based on Function Introduction" (In proceedings) |
| Baaz M. | "Automated Theorem Proving for Many-valued Logics (Algorithms)" (Technical report) |
| Baaz M. | "Automated Theorem Proving for Many-valued Logics (Theory)" (Technical report) |
| 1989 | |
| Baaz M. | "An Effective Decision Algorithm for Propositional Temporal Logic" (In proceedings) |
| Baaz M. | "Automatisches Beweisen für endlichwertige Logiken" (In a collection) |
| Baaz M. and Leitsch A. | "Strong Splitting Rules in Automated Theorem Proving" (In proceedings) |
| 1988 | |
| Baaz M. | "Über den allgemeinen Gehalt von Beweisen" (In a collection) |
| Baaz M. and Quirchmayr G. | "Automated Theorem Proving for the Deduction of Knowledge in Databases..." (In proceedings) |
| Baaz M. and Quirchmayr G. | "Juridische Schlüsse und mehrwertige Logik" (In a collection) |
| Baaz M. and Quirchmayr G. | "Models of Civil Procedures Based on Multiple-Valued Logic" (In proceedings) |
| Baaz M. and Quirchmayr G. | "Models of Juridical Decisions Based on the Concept of Possible Worlds" (In proceedings) |
| Kuich W. | "Polynomalgebren, algebraische Systeme und Kellerautomaten" (In a collection) |
| 1987 | |
| Baaz M. | "Automatisches Beweisen für Logiksysteme, in denen..." (In proceedings) |
| Baaz M. and Quirchmayr G. | "Modelling Priorities in Legal Expert Systems" (In proceedings) |
| Baaz M. | "Quantifier elimination for heterogeneous quantifiers" (Technical report) |
| Baaz M. and Quirchmayr G. | "The Application of Multiple Valued Logic in Supporting Legal Decision..." (In proceedings) |
| Kuich W. | "Hauptkegel algebraischer Potenzreihen" (Article) |
| Kuich W. | "The Kleene and the Parikh theorem in complete semirings" (In a collection) |
| 1986 | |
| Baaz M. | "Kripke-Type Semantics for Da Costa's Paraconsistent Logic..." (Article) |
| Baaz M. and Leitsch A. | "Strong Inference in Automated Theorem Proving" (Technical report) |
| Kuich W. and Salomaa A. | "Semirings, automata, languages" (Book) |
| 1985 | |
| Baaz M. and Leitsch A. | "Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (In a collection) |
| Baaz M. and Leitsch A. | "Eine Methode zur automatischen Problemreduktion" (In proceedings) |
| 1984 | |
| Baaz M. | "Die Anwendung der Methode der Sequenzialkalküle auf..." (PhD thesis) |
| Baaz M. and Leitsch A. | "Eine Methode zur Reduktion des Syntheseproblems" (Technical report) |
| Baaz M. | "The Application of Sequent Calculi to Non-Classical Logics" (PhD thesis) |
| 1983 | |
| Baaz M. | "Gödel's Justification of His Completeness Theorem" (In proceedings) |
| 1981 | |
| Baron G. and Kuich W. | "The characterization of nonexpansive grammars by rational power series" (Article) |
| Kuich W. | "The characterization of parallel ultralinear grammars by rational p..." (Article) |
| Kuich W. | "Zur Theorie algebraischer Systeme" (Article) |
| 1980 | |
| Kuich W. | "Generating functions for derivation trees" (Article) |
| Kuich W. | "Quantitative Aspekte bei Ableitungsbäumen" (Article) |
| 1979 | |
| Kuich W., Prodinger H. and Urbanek F. J. | "On the height of derivation trees" (In a collection) |
| 1976 | |
| Kuich W. and Shyamasundar R. K. | "The structure generating function of some families of languages" (Article) |
| 1971 | |
| Kuich W. | "The complexity of skewlinear tuple languages and -reg..." (Article) |
| Kuich W. and Maurer H. | "The structure generating function and entropy of tuple languages" (Article) |
| 1970 | |
| Kuich W. | "On the entropy of context-free languages" (Article) |
| Kuich W. | "Systems of pushdown acceptors and context-free grammars" (Article) |
| 1965 | |
| Hlawka E. and Kuich W. | "Geordnete Schätzfunktionen und Diskrepanz. II" (Article) |
| Not dated | |
| Baaz M., Hájek P., Montagna F. and Veith H. | "Complexity of t-Tautologies." (Article) |
| Jain S., Stephan F. and Terwijn S. A. | "Counting extensional differences in BC-learning" (Article) |
| Terwijn S. A. | "Complexity and randomness" (Article) |
|
Bibliography | ||||
| FRAMES NO FRAME | |||||
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)