On the Undecidability of some Sub-Classical First-Order Logics (bibtex)
by Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
Reference:
On the Undecidability of some Sub-Classical First-Order LogicsMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut VeithFoundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings (C. Pandu Rangan, Venkatesh Raman, R. Ramanujam, eds.), pages 258-268, 1999, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/fsttcs/BaazCFV99,
  author = {Matthias Baaz and Agata Ciabattoni and Christian G. Ferm{\"u}ller and   Helmut Veith},
  title = {On the Undecidability of some Sub-Classical First-Order Logics},
  year = {1999},
  booktitle = {Foundations of Software Technology and Theoretical Computer   Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  editor = {C. Pandu Rangan and Venkatesh Raman and R. Ramanujam},
  pages = {258--268},
  publisher = {Springer},
  isbn = {3-540-66836-5},
  url = {http://link.springer.de/link/service/series/0558/bibs/1738/17380258.htm}
}
Powered by bibtexbrowser