[BFGPS2003] MUltlog and MUltseq Reanimated and Married
| BFGPS03 (Technical report)
|
| Author(s) | Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G. |
| Title | "MUltlog and MUltseq Reanimated and Married" |
| Date | 2003 |
| Institution | University of Liverpool |
| Number | ULCS-03-018 |
| Note | Proc. 4th Int. Workshop on the Implementation of Logics, eds. Konev, B. and Schmidt, R. |
@techreport{BFGPS03,
title = {{MUltlog} and {MUltseq} Reanimated and Married},
author = {Baaz, M. and Fermüller, C. G. and Gil, A. J. and Preining, N. and Salzer, G.},
year = {2003},
institution = {University of Liverpool},
number = {ULCS-03-018},
note = {Proc.\ 4th Int.\ Workshop on the Implementation of Logics, eds. Konev, B. and Schmidt, R.},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)