Bibliography

Overview

Tree

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

E

E

in: Beckmann A.
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" (2002)

E185

in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs" (1995)
in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993)
in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free LK_B-Proofs" (1992)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992)

EATCS

in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1993)
in: Baaz M. and Zach R.
"Note on Calculi for a Three-Valued Logic for Logic Programming" (1992)

ECCC

in: Beckmann A.
"Height restricted constant depth LK" (2003)

ECH

in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)

Edinburgh

in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)

Effective

in: Asperti A. and Ciabattoni A.
"Effective Applicative Structures" (1995)
in: Baaz M.
"An Effective Decision Algorithm for Propositional Temporal Logic" (1989)
in: Brunner N., Svozil K. and Baaz M.
"Effective quantum observables" (1995)

Egly U.

in: Baaz M. and Ciabattoni A.
"A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic" (2002)
in: Baaz M.
"Proof Analysis by Resolution" (2002)
in: Baaz M., Egly U. and Leitsch A.
"Normal Form Transformations" (2001)
in: Baaz M., Egly U. and Leitsch A.
"Extension Methods in Automated Deduction" (1998)
in: Baaz M., Egly U. and Fermüller C. G.
"Lean Induction Principles for Tableaux" (1997)

EIK

in: Baaz M., Fermüller C. G. and Zach R.
"Elimination of Cuts in First-order Finite-valued Logics" (1994)

Eine

in: Baaz M. and Leitsch A.
"Eine Methode zur automatischen Problemreduktion" (1985)
in: Baaz M. and Leitsch A.
"Eine Methode zur Reduktion des Syntheseproblems" (1984)

Electronics

in: Baaz M.
"Automated Theorem Proving for Many-valued Logics (Algorithms)" (1990)
in: Baaz M.
"Automated Theorem Proving for Many-valued Logics (Theory)" (1990)

Elektron

in: Kuich W.
"Zur Theorie algebraischer Systeme" (1981)
in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970)

Elements

in: Kuich W.
"Cones and abstract families of elements" (1997)

Elimination

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ " (2004)
in: Baaz M. and Leitsch A.
"Cut Elimination and redundancy-elimination by Resolution" (2000)
in: Baaz M. and Veith H.
"Quantifier Elimination in Fuzzy Logic" (1999)
in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
in: Baaz M. and Leitsch A.
"Cut elimination by resolution" (1997)
in: Baaz M., Fermüller C. G. and Zach R.
"Elimination of Cuts in First-order Finite-valued Logics" (1994)
in: Baaz M.
"Quantifier elimination for heterogeneous quantifiers" (1987)
in: Kuich W.
"Gaussian elimination and a characterization of algebraic power series" (1998)

Elsevier

in: Baaz M., Fermüller C. G. and Salzer G.
"Automated Deduction for Many-Valued Logics" (2001)
in: Baaz M., Egly U. and Leitsch A.
"Normal Form Transformations" (2001)
in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991)

Em

in: Iemhoff R.
"Review of: Submodels of Kripke Models, by A. Visser" (2002)

Empirismus

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

Endlichwertige

in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1992)
in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1989)

Entropy

in: Kuich W. and Maurer H.
"The structure generating function and entropy of tuple languages" (1971)
in: Kuich W.
"On the entropy of context-free languages" (1970)

Enumerable

in: Downey R. and Terwijn S. A.
"Computably enumerable reals and uniformly presentable ideals" (2002)

Environments

in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)

Equational

in: Beckmann A.
"Proving consistency of equational theories in bounded arithmetic" (2002)

Equivalence

in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994)

Equivalent

in: Kuich W.
"The algebraic equivalent of AFL theory" (1995)

Esteva F.

in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with $n$ -contraction" (2002)

ETL

in: Honkala J. and Kuich W.
"On a power series generalization of ETL languages" (1996)

EURINFO

in: Baaz M. and Quirchmayr G.
"Models of Civil Procedures Based on Multiple-Valued Logic" (1988)

EUROCAL

in: Baaz M. and Leitsch A.
"Strong Splitting Rules in Automated Theorem Proving" (1989)

Exact

in: Beckmann A.
"Exact bounds for lengths of reductions in typed $λ$ -calculus" (2001)

Excluded

in: Ciabattoni A., Gabbay D. and Olivetti N.
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998)

Existence

in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993)

ExperSys

in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992)

Expert

in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
"MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)
in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992)
in: Baaz M. and Quirchmayr G.
"Logic-Based Models of Analogical Reasoning" (1992)
in: Baaz M. and Quirchmayr G.
"A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems" (1991)
in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990)
in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
in: Baaz M. and Quirchmayr G.
"Modelling Priorities in Legal Expert Systems" (1987)

Exponent

in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998)
in: Preining N.
"Sketch-as-Proof" (1997)
in: Terwijn S. A.
"On the quantitative structure of $Δ$ ₂" (2001)

Exponential

in: Ambos-spies K., Neis H. and Terwijn S. A.
"Genericity and measure for exponential time" (1996)
in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Genericity and measure for exponential time" (1996)

Exponentiation

in: Beckmann A.
"Notations for exponentiation" (2002)

Extended

in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993)
in: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983)

Extension

in: Baaz M., Egly U. and Leitsch A.
"Extension Methods in Automated Deduction" (1998)

Extensional

in: Jain S., Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning"
in: Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" (2000)
in: Terwijn S. A.
"Extensional set learning" (1999)

Extensions

in: Baaz M. and Leitsch A.
"Methods of Functional Extensions" (1995)

Extensionskalküle

in: Baaz M. and Leitsch A.
"Extensionskalküle und Beweiskomplexität" (1998)

Extraction

in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)