Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

A

A-priori
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) 
Arbitration
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 
Arch
Archive
Are
Areces C.
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
Arge
in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) 
Arithmetic
Arithmetical
ArXiv
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) 
As
in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) 
ASL
Aspects
Association
in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) 
Asymptotic
Asymptotically
Australian
in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) 
Automata
Automatic&
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Automatic
Automorphism
in: Otto M.
"Automorphism properties of stationary logic" (1992) 
Average
in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) 
Awodey S.
Axiom
in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992) 
Axiomatized
in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) 

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