Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[KO+05]  Small substructures and decidability issues for two-variable first-order logic

KieronskiOtto2005c (In proceedings)
Author(s)Kieronski, Emanuel and Otto, Martin
Title« Small substructures and decidability issues for two-variable first-order logic »
InProceedings of 20th IEEE Symposium on Logic in Computer Science LICS'05
Page(s)448-457
Year2005

BibTeX code
@inproceedings{KieronskiOtto2005c,
  pages = {448-457},
  year = {2005},
  title = {Small substructures and decidability issues for two-variable
           first-order logic},
  author = {Kieronski, Emanuel and Otto, Martin},
  booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science
               {LICS}'05},
}

 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!