[BCFV1999] On the Undecidability of Some Sub-classical First-order Logics

Tree

Index

Bibliography

[BCFV1999] On the Undecidability of Some Sub-classical First-order Logics

BCFV99FST (In proceedings)
Author(s)	Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
Title	"On the Undecidability of Some Sub-classical First-order Logics"
Date	1999
In	Foundations of Software Technology and Theoretical Computer Science, FST&TCS '99
Number	1738
Series	LNCS
Page(s)	258--268
Publisher	Springer
Note	Proceedings of the 19th international conference, December 13--15, 1999

BibTeX code

@inproceedings{BCFV99FST,
  publisher = {Springer},
  title = {On the Undecidability of Some Sub-classical First-order Logics},
  author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G. and Veith, H.},
  year = {1999},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, FST\&TCS '99},
  pages = {258--268},
  number = {1738},
  note = {Proceedings of the 19th international conference, December 13--15, 1999},
  series = {LNCS},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug