Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

M

Machines
Majorization
Makovsky J.
in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) 
Man-machine
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Mann
Many-valued
in: Leuştean L.
"Representations of many-valued algebras" (2004) 
Mappings
Marion J.Y.
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
Markov
Martin-Löf
in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) 
Marx M.
in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 
Marz M.
in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 
Maschio S.
in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) 
Master
in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) 
Math
Mathematica
in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) 
Mathematicae
in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) 
Mathematical
Mathematically
in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) 
Mathematician
in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) 
Mathematiciens
in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) 
Mathematicl
in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009) 
Mathematics
Mathematicum
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Mathilde
in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) 
Maximal
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Mean
in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) 
Measure
in: Keimel K. and Lawson J.D.
"Measure extension theorems for T-spaces" (2005) 
Measures
Meinel C.
in: Otto M.
"Eliminating recursion in the mu-calculus" (1999) 
Mem
in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) 
Metastability
Metatheorems
Methodologies
in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) 
Methods
Metric
MFCS
in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) 
MFCS2009
in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009) 
Michael
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 
Michaux C.
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 
Middle
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Minari P.
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
Minkowksi
in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009) 
Mints
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Mints G.
in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) 
Mislove M.
in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) 
M. Bezem
in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 
Modal
Modality
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
Model
Models
Modified
in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012) 
Modular
in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) 
Moduli
Moggi E.
in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) 
Momentum
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 
Monad
Monadic
Monoids
in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004) 
Monotone
Montagna F.
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Monthly
in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) 
More
MSCS
in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 
Mu-calculus
Muchnik
in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) 
Mück A.
in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) 
Müller N.
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
Multiple-Valued
Multi-valued
in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) 

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