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

Q

Q

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

QBF

in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001)

Quantificational

in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)

Quantified

in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001)
in: Baaz M., Fermüller C. G. and Veith H.
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
in: Baaz M., Ciabattoni A. and Zach R.
"Quantified propositional Gödel Logics" (2000)
in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)

Quantifier

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ " (2004)
in: Baaz M. and Veith H.
"Quantifier Elimination in Fuzzy Logic" (1999)
in: Baaz M.
"Quantifier elimination for heterogeneous quantifiers" (1987)

Quantifiers

in: Baaz M.
"Quantifier elimination for heterogeneous quantifiers" (1987)

Quantitative

in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980)
in: Terwijn S. A.
"On the quantitative structure of $Δ$ ₂" (2001)

Quantum

in: Brunner N., Svozil K. and Baaz M.
"The Axiom of Choice in Quantum Theory" (1996)
in: Brunner N., Svozil K. and Baaz M.
"Effective quantum observables" (1995)

Quart

in: Terwijn S. A. and Torenvliet L.
"Arithmetical measure" (1998)

Quarterly

in: Brunner N., Svozil K. and Baaz M.
"The Axiom of Choice in Quantum Theory" (1996)
in: Iemhoff R.
"Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003)

Quirchmayr G.

in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993)
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
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 Formal Model of Analogical Reasoning: a Logic Based Approach" (1991)
in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991)
in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990)
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988)
in: Baaz M. and Quirchmayr G.
"Models of Civil Procedures Based on Multiple-Valued Logic" (1988)
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)
in: Baaz M. and Quirchmayr G.
"The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)