Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

2

2
2000
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
2001
in: Kohlenbach U.
"Higher order reverse mathematics" (2005) 
2003
2004
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
2005
2006
2007
in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) 
2008
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
2010
2011
in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011) 
2012
2013
in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013) 
2064
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
20th
21st
in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006) 
2285
in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) 
25th
26nd
in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) 
26th
in: Herrmann C. and Ziegler M.
"Computational Complexity of Quantum Satisfiability" (2011) 
27th
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
280
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
2nd
in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) 

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