Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ

D

Da
in: Baaz M.
"Kripke-Type Semantics for Da Costa's Paraconsistent Logic Cω" (1986) 
Dagstuhl
in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001) 
Dalen (van) D.
in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997) 
Dame
in: Baaz M.
"Kripke-Type Semantics for Da Costa's Paraconsistent Logic Cω" (1986) 
Das
in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002) 
Database
in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993) 
Databases
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988) 
Davenport J. H.
in: Baaz M. and Leitsch A.
"Strong Splitting Rules in Automated Theorem Proving" (1989) 
Decision
Decisions
in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988) 
Decompositions
in: Aguzzoli S., Ciabattoni A. and Nola A. D.
"Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000) 
Deduction
Default
in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993) 
Degrees
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003) 
Del
in: Terwijn S. A.
"Complexity and randomness
Delhi
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993) 
Dem
in: Baaz M.
"Logik des Juridischen Schließens" (2001) 
Demonstratio
in: Kuich W.
"Cones and abstract families of elements" (1997) 
Den
in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988) 
Denen
in: Baaz M.
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987) 
Depth
in: Beckmann A.
"Height restricted constant depth LK" (2003) 
Der
Derivation
Des
Description
in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999) 
Development
in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993) 
DEXA
Dialogie
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003) 
Dialogue
in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003) 
Die
Differences
Different
in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995) 
Dimension
in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003) 
Disjunctions
in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004) 
Diskrepanz
in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) 
Downey R.
in: Downey R. and Terwijn S. A.
"Computably enumerable reals and uniformly presentable ideals" (2002) 
Dresden
in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980) 
Dual
Dyckhoff R.
in: Baaz M., Fermüller C. G. and Veith H.
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000) 
Dynamic

&-0123456789ABCDEFGHIJKLMNOPQRSTUVWYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

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

Valid HTML 4.01!