Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Kar10]  Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

kartzow:LIPIcs:2010:2480 (In proceedings)
Author(s)Alexander Kartzow
Title« Collapsible Pushdown Graphs of Level 2 are Tree-Automatic »
InProceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS 2010)
SeriesLeibniz International Proceedings in Informatics (LIPIcs)
Editor(s)Jean-Yves Marion and Thomas Schwentick
Volume5
Page(s)501--512
Year2010
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
AddressDagstuhl, Germany

Annotation
Keywords: Tree-automatic structures, collapsible pushdown graphs, collapsible pushdown systems, first-order decidability, reachability

BibTeX code
@inproceedings{kartzow:LIPIcs:2010:2480,
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2480},
  pages = {501--512},
  isbn = {978-3-939897-16-3},
  editor = {Jean-Yves Marion and Thomas Schwentick},
  author = {Alexander Kartzow},
  issn = {1868-8969},
  title = {Collapsible Pushdown Graphs of Level 2 are Tree-Automatic},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year = {2010},
  booktitle = {Proceedings of the 27th International Symposium on Theoretical
               Aspects of Computer Science (STACS 2010)},
  volume = {5},
  annote = {Keywords: Tree-automatic structures, collapsible pushdown graphs,
            collapsible pushdown systems, first-order decidability,
            reachability},
}

 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!