TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 1.

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich :
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 .
[Konferenz- oder Workshop-Beitrag], (2004)

Diese Liste wurde am Tue Jun 27 07:16:37 2017 CEST generiert.