- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Finitary Type Theories With and Without Contexts ; volume:67 ; number:4 ; day:7 ; month:10 ; year:2023 ; pages:1-87 ; date:12.2023
Journal of automated reasoning ; 67, Heft 4 (7.10.2023), 1-87, 12.2023
- Klassifikation
-
Informatik
- Urheber
-
Haselwarter, Philipp G.
Bauer, Andrej
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09678-y
- URN
-
urn:nbn:de:101:1-2024022611110385834523
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Haselwarter, Philipp G.
- Bauer, Andrej
- SpringerLink (Online service)
Ähnliche Objekte (12)
Understanding contexts: how explanatory theories can help
Non-Lorentzian theories with and without constraints
Interpreting theories without a spacetime
Exact relations between M2-brane theories with and without orientifolds
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Quantum geometrodynamics of higher derivative theories with and without conformal symmetry
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Hamiltonians without ultraviolet divergence for quantum field theories
Theories without models: uncontrolled idealizations in particle physics
Construction and deduction in type theories
Understanding contexts: how explanatory theories can help
Non-Lorentzian theories with and without constraints
Interpreting theories without a spacetime
Exact relations between M2-brane theories with and without orientifolds
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Quantum geometrodynamics of higher derivative theories with and without conformal symmetry
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Hamiltonians without ultraviolet divergence for quantum field theories
Theories without models: uncontrolled idealizations in particle physics
Construction and deduction in type theories
Understanding contexts: how explanatory theories can help
Non-Lorentzian theories with and without constraints
Interpreting theories without a spacetime
Exact relations between M2-brane theories with and without orientifolds
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Poverty Imputation in Contexts without Consumption Data: A Revisit with Further Refinements
Quantum geometrodynamics of higher derivative theories with and without conformal symmetry
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Adalaide Morris, Thomas Swiss (Hg.): New Media Poetics. Contexts, Technotexts and Theories
Hamiltonians without ultraviolet divergence for quantum field theories
Theories without models: uncontrolled idealizations in particle physics