Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

1

10th
in: Otto M.
"Ptime canonization for two variables with counting" (1995) 
12
in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) 
1308
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) 
14th
in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) 
15th
17th
18-20
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
1862
in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000) 
1992
in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) 
19th

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