Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

L

Lambov B.
in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) 
Language
Languages
in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) 
Laplace
in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) 
Large
in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) 
Larrazabal J.M.
in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) 
Lascar D.
in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) 
Lattice
in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) 
Lattice-ordered
Lattices
Law
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Lawson J.D.
L-domains
in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) 
Learnability
in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) 
Least
in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012) 
Lecture
Leibniz
in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) 
Leitgeb H.
in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) 
Lemma
in: Kohlenbach U.
"On uniform weak König's lemma" (2002) 
Letters
Leuştean L.
Leustean L.
Leuştean L.
Level
LFCS
in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997) 
Li A.
in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) 
Liang J.H.
Library
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
LICS
LiCS
in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) 
LICS
Lietz P.
Limitd
in: Kohlenbach U. and Leustean L.
"On the computational content of convergence proofs via Banach limitd." (2012) 
Lindstrom
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
Line
in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) 
Linear
LIPICS
in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) 
LIPIcs
in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) 
Lipschitzian
in: Körnlein D. and Kohlenbach U.
"Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces" (2011) 
Liquid
LNCS
Locally
Lock H.
in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) 
Löding C.
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Loewe B.
Log
in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) 
Logic
Logica
Logical
Logically
in: Otto M.
"Expressive completeness through logically tractable models" (2013) 
Logics
Logika
in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) 
Lombardi H.
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Low
in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) 
Löw T.
in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) 
LPAR
in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 
Lukasiewicz
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 

-&-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!