Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer:
"MUltlog and MUltseq Reanimated and Married";
Talk: 4th International Workshop on the Implementation of Logics,
Almaty, Kazakhstan;
2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics",
(2003),
13
- 17.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404564
Created from the Publication Database of the Vienna University of Technology.