-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
O
- Object
- in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004)
- October
- in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- Odd
- in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011)
- Old
- in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009)
- Oliva P.
- in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
- in: Kohlenbach U. and Oliva P.
"Proof mining in L$$_{1}-approximation" (2003)
- in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
- One-parameter
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
- Ones
- in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
- Oosten (van) J.
- in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006)
- Operations
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007)
- in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009)
- Operators
- in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- Optimality
- in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- Optimiz
- in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- Optimization
- in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
- in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
- Order
- in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004)
- in: Kohlenbach U.
"Higher order reverse mathematics" (2005)
- in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)
- Ordered
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
- in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
- in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
- in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992)
- in: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
- Ota H.
- in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014)
- in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012)
- Otto M.
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2014)
- in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012)
- in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012)
- in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010)
- in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014)
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009)
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009)
- in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005)
- in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006)
- in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014)
- in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002)
- in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000)
- in: Grädel E. and Otto M.
"On logics with two variables" (1999)
- in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
- in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
- in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999)
- in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012)
- in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)
- in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998)
- in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
- in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (2001)
- in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999)
- in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015)
- in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
- in: Otto M.
"Expressive completeness through logically tractable models" (2013)
- in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013)
- in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012)
- in: Otto M.
"On groupoids and hypergraphs" (2012)
- in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009)
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- in: Otto M.
"Bisimulation invariance and finite models" (2006)
- in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006)
- in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
- in: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
- in: Otto M.
"An interpolation theorem" (2000)
- in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
- in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999)
- in: Otto M.
"Bounded-variable logics: two, three, and more" (1999)
- in: Otto M.
"Eliminating recursion in the mu-calculus" (1999)
- in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997)
- in: Otto M.
"Canonization for two variables and puzzles on the square" (1997)
- in: Otto M.
"Capturing bisimulation-invariant Ptime" (1997)
- in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997)
- in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996)
- in: Otto M.
"The expressive power of fixed-point logic with counting" (1996)
- in: Otto M.
"Note on the number of monadic quantifiers in monadic $\Sigma 1$_{1}" (1995)
- in: Otto M.
"Ptime canonization for two variables with counting" (1995)
- in: Otto M.
"Generalized quantifiers for simple properties" (1994)
- in: Otto M.
"Automorphism properties of stationary logic" (1992)
- in: Otto M.
"EM functors for a class of generalized quantifiers" (1992)
- in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- Over
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009)
- in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009)
- in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005)
- in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
- in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
- in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
- in: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
- in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
- Oxford
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998)
- in: Kohlenbach U.
"Analysing proofs in analysis" (1996)
- in: Streicher T.
"Universes in Toposes" (2005)
-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
Submit a bug
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)