[BLZ1996b] Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs
| BaazLeitZach96CSL (In proceedings)
|
| Author(s) | Baaz M., Leitsch A. and Zach R. |
| Title | "Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" |
| Date | 1996 |
| In | Computer Science Logic, Proc. 9th Workshop, CSL'95 |
| Editor(s) | Kleine Büning H. |
| Series | LNCS 1092 |
| Page(s) | 1-15 |
| Publisher | Springer |
@inproceedings{BaazLeitZach96CSL,
title = {Incompleteness of a First-order {G\"odel} Logic and Some Temporal Logics of Programs},
year = {1996},
booktitle = {Computer Science Logic, Proc. 9th Workshop, CSL'95},
pages = {1-15},
editor = {Kleine B\"uning, Hans},
publisher = {Springer},
author = {Baaz, M. and Leitsch, A. and Zach, R.},
series = {LNCS˜1092},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)