Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ

D

Dagstuhl
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Dagstuhl--Leibniz-Zentrum
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
Dame
Danish
in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) 
Darmstadt
Data
in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) 
Databases
in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996) 
Dawar A.
D-completions
Decidability
Deduction
in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) 
Definability
in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 
Definable
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004) 
Degrees
in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011) 
Denecke K.
in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) 
Denotational
in: Streicher T.
"Denotational completness revisited" (1999) 
Department
Dependence
in: Streicher T.
"Dependence and independence results for (impredicative) calculi of dependent types." (1992) 
Dependent
Des
in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) 
Descriptive
Design
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 
Didactics
in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 
Differential
Din
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Di Nola A.
Direct
in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) 
Directionally
in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) 
Discrete
in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012) 
Disjunctive
in: Kohlenbach U.
"On the disjunctive Markov principle" (2015) 
Disjuntions
in: Gerhardy P. and Kohlenbach U.
"Extracting Herbrand Disjuntions by Functional Interpretation" (2005) 
Distributed
in: Broy M. and Streicher T.
"Views of distributed systems." (1987) 
Distribution
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000) 
D. van Dalen
in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 
Domain
Domains
Domain-theoretic
in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006) 
Done
in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) 
Duality
Due
Durand A.
in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) 
Dynamical
in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) 
Dynamics
in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) 
Dzobiak W.
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!