Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Kar09]  FO Model Checking on Nested Pushdown Trees

Kartzow09 (In proceedings)
Author(s)Alexander Kartzow
Title« FO Model Checking on Nested Pushdown Trees »
InMFCS2009, LNCS 5734
SeriesLecture Notes in Computer Science
Page(s)451-463
Year2009

BibTeX code
@inproceedings{Kartzow09,
  booktitle = {{MFCS2009, LNCS 5734}},
  author = {Alexander Kartzow},
  series = {Lecture Notes in Computer Science},
  title = {{FO Model Checking on Nested Pushdown Trees}},
  pages = {451-463},
  year = 2009,
  ublisher = {Springer Verlag},
}

 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!