Name Card

Full name Familienname, Vorname

Dershowitz, Nachum

Contributing Publications Mitbeteiligte Publikationen

All

Conference Papers

Books & Book Chapters

Author

Date issued

4 2000 - 2024

Results 1-4 of 4 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Abbott, Alastair A. ; Calude, Cristian S. ; Svozil, Karl	On the unpredictability of individual quantum measurement outcomes	Konferenzbeitrag Inproceedings	2015
	2		Eiter, Thomas ; Gottlob, Georg ; Schwentick, Thomas	The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey	Buchbeitrag Book Contribution	2010
	3		Simkus, Mantas ; Eiter, Thomas	FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols	Konferenzbeitrag Inproceedings	2007
	4		Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian	Monadic Fragments of Gödel Logics: Decidability and Undecidability Results	Konferenzbeitrag Inproceedings	2007