&--123456789A&A-ABC-C-C-CDE&EFGHI-IJK&KL&LMN&NOP&PQRS&S-S-ST-T-TUVWXYZ
5
- 5
- in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008)
- 5734
- in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009)
&--123456789A&A-ABC-C-C-CDE&EFGHI-IJK&KL&LMN&NOP&PQRS&S-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)
