KIT | KIT-Bibliothek | Impressum

A First-Order Theory of Ordinals

Schmitt, Peter H.

Abstract: This technical report documents the work done leading up to a paper on a theory of ordinal submitted to the Tableaux 2017 conference.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht
Jahr 2017
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000068623
ISSN: 2190-4782
URN: urn:nbn:de:swb:90-686238
KITopen ID: 1000068623
Verlag Karlsruhe
Umfang 34 S.
Serie Karlsruhe Reports in Informatics ; 2017,6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page