DBLP Record 'conf/fct/PassyT85'

BibTeX

@inproceedings{DBLP:conf/fct/PassyT85,
  author    = {Solomon Passy and
               Tinko Tinchev},
  title     = {Quantifiers in combinatory PDL: completeness, definability,
               incompleteness},
  booktitle = {FCT},
  year      = {1985},
  pages     = {512-519},
  crossref  = {DBLP:conf/fct/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fct/1985,
  editor    = {Lothar Budach},
  title     = {Fundamentals of Computation Theory, FCT '85, Cottbus, GDR,
               September 9-13, 1985},
  booktitle = {FCT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {199},
  year      = {1985},
  isbn      = {3-540-15689-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}