TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Akama, Yohij and Berardi, Stefano and Hayashi, Susumu and Kohlenbach, Ulrich (2004):
An arithmetical hierarchy of the law of excluded middle and related principles.
In: Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004). - S. 192-201. - IEEE Comp. Soc. Pr. 2004- ISBN 0-7695-2192-4 ; ISSN 1043-6871, [Conference or Workshop Item]

This list was generated on Sat Oct 24 02:28:35 2020 CEST.