- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Constructive Separations and Their Consequences ; volume:3 ; year:2024
TheoretiCS ; 3 (2024)
- Classification
-
Informatik
- Creator
-
Chen, Lijie
Jin, Ce
Santhanam, Rahul
Williams, Ryan
- Contributor
-
Massachusetts Institute of Technology, USA
University of Oxford, UK
- DOI
-
10.46298/theoretics.24.3
- URN
-
urn:nbn:de:101:1-2405311140049.746370092403
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM 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
- Chen, Lijie
- Jin, Ce
- Santhanam, Rahul
- Williams, Ryan
- Massachusetts Institute of Technology, USA
- University of Oxford, UK
Other Objects (12)
Singularities and constructive methods for their treatment :
Mind : perception and thought in their constructive aspects
Constructive proofs or constructive statements?
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive negations and paraconsistency
Socialism: critical and constructive
Constructive analysis
Constructive approximation
Constructive combinatorics
Constructive waterfalls
Constructive holography
Singularities and constructive methods for their treatment :
Mind : perception and thought in their constructive aspects
Constructive proofs or constructive statements?
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive negations and paraconsistency
Socialism: critical and constructive
Constructive analysis
Constructive approximation
Constructive combinatorics
Constructive waterfalls
Constructive holography
Singularities and constructive methods for their treatment :
Mind : perception and thought in their constructive aspects
Constructive proofs or constructive statements?
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive negations and paraconsistency
Socialism: critical and constructive
Constructive analysis
Constructive approximation
Constructive combinatorics
Constructive waterfalls