Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[BG+02]  Finite Presentations of Infinite Structures: Automata and Interpretations

BlumensathGraedel02 (In proceedings)
Author(s)A. Blumensath and E. Grädel
Title« Finite Presentations of Infinite Structures: Automata and Interpretations »
InProc. 2nd Int. Workshop on Complexity in Automata Deduction, CiAD
Year2002

BibTeX code
@inproceedings{BlumensathGraedel02,
  author = {A. Blumensath and E. {Gr\"adel}},
  booktitle = {{Proc.\ 2nd Int.\ Workshop on Complexity in Automata Deduction,
               CiAD}},
  year = 2002,
  title = {{Finite Presentations of Infinite Structures: Automata and
           Interpretations}},
}

 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!