Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[HMO+99]  Beth definability for the guarded fragment

HooglandMarxOtto1999 (In proceedings)
Author(s)Hoogland, Eva and Marx, Marten and Otto, Martin
Title« Beth definability for the guarded fragment »
InProceedings of LPAR'99
SeriesLNAI
Volume1705
Page(s)273-285
Year1999
PublisherSpringer-Verlag
NoteSee also in: JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, J. Gebrandy, M. Marx, M. de Rijke and Y. Venema (ed.), CD-ROM, Amsterdam University Press 1999.

BibTeX code
@inproceedings{HooglandMarxOtto1999,
  author = {Hoogland, Eva and Marx, Marten and Otto, Martin},
  publisher = {Springer-Verlag},
  pages = {273-285},
  booktitle = {Proceedings of {LPAR}'99},
  volume = {1705},
  note = {See also in: JFAK. Essays Dedicated to Johan van Benthem on the
          Occasion of his 50th Birthday, J. Gebrandy, M. Marx, M. de Rijke and
          Y. Venema (ed.), CD-ROM, Amsterdam University Press 1999. },
  series = {{LNAI}},
  title = {{B}eth definability for the guarded fragment},
  year = {1999},
}

 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!