- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
50 Seiten
- Language
-
Englisch
- Bibliographic citation
-
Oberwolfach preprints ; 2018, 01
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Oberwolfach-Walke
- (who)
-
Mathematisches Forschungsinstitut Oberwolfach gGmbH
- (when)
-
[2018]
- 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, 2:16 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Afshari, Bahareh
- Hetzl, Stefan
- Leigh, Graham E.
- Mathematisches Forschungsinstitut Oberwolfach gGmbH
Time of origin
- [2018]
Other Objects (12)
Herbrand's theorem as higher order recursion
Higher recursion theory
Recursion relations from soft theorems
Flato-Fronsdal theorem for higher-order singletons
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
How to Prove Higher Order Theorems in First Order Logic
Certifying system translations using higher order theorem provers
Theorem Proving in Higher Order Logics - Emerging Trends
Fourth-order recursion operators for third-order evolution equations
Proving theorems of higher-order logic with SMT solvers
Equality and extensionality in automated higher-order theorem proving
Proving Theorems of Higher-Order Logic with SMT Solvers
Herbrand's theorem as higher order recursion
Higher recursion theory
Recursion relations from soft theorems
Flato-Fronsdal theorem for higher-order singletons
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
How to Prove Higher Order Theorems in First Order Logic
Certifying system translations using higher order theorem provers
Theorem Proving in Higher Order Logics - Emerging Trends
Fourth-order recursion operators for third-order evolution equations
Proving theorems of higher-order logic with SMT solvers
Equality and extensionality in automated higher-order theorem proving
Proving Theorems of Higher-Order Logic with SMT Solvers
Herbrand's theorem as higher order recursion
Higher recursion theory
Recursion relations from soft theorems
Flato-Fronsdal theorem for higher-order singletons
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
How to Prove Higher Order Theorems in First Order Logic
Certifying system translations using higher order theorem provers
Theorem Proving in Higher Order Logics - Emerging Trends
Fourth-order recursion operators for third-order evolution equations
Proving theorems of higher-order logic with SMT solvers
Equality and extensionality in automated higher-order theorem proving