Hochschulschrift

Some contributions to higher-order Reverse Mathematics

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
iv, 212 Seiten
Language
Englisch
Notes
Technische Universität Darmstadt, Habilitationsschrift, 2022

Classification
Mathematik

Event
Veröffentlichung
(where)
Darmstadt
(when)
[2022]
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:41 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • [2022]

Other Objects (12)

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order computability

Higher-order computability

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Contributions to the analysis and control of higher-order infinite-dimensional systems

Hochschulschrift

Contributions to the analysis and control of higher-order infinite-dimensional systems

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Higher-Order Multi-Valued Resolution

Higher-Order Multi-Valued Resolution

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Higher-Order Spreadsheets with Spilled Arrays

zweidimensionales bewegtes Bild

Higher-Order Spreadsheets with Spilled Arrays

Henkin Completeness of Higher-Order Resolution

Henkin Completeness of Higher-Order Resolution

Higher-order statistics in cosmic shear

Higher-order statistics in cosmic shear

Higher-Order Methods for Differential Inclusions

Higher-Order Methods for Differential Inclusions

Related objects