Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, N. Preining, R Zach:
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics";
Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic),
Tokyo, Japan;
2003-05-16
- 2003-05-19; in: "ISMVL 2003, the 33rd Intl. Symposi um on Multiple-valued Logic",
IEEE Computer Society,
Los Alamitos, USA
(2003),
ISBN: 0-7695-19-18-0;
175
- 180.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404632
Created from the Publication Database of the Vienna University of Technology.