Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
G. Salzer, V. Chepoi, N. Creignou, M. Hermann:
"Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics";
Vortrag: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic),
Dallas,Texas,USA;
16.05.2008
- 19.05.2008; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic",
G. Dueck (Hrg.);
IEEE Computer Society,
Washington D.C., USA
(2008),
ISBN: 978-0-7695-3155-7;
S. 100
- 105.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ISMVL.2008.41
Elektronische Version der Publikation:
http://dx.doi.org/10.1109/ISMVL.2008.41
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.