- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
-
Haselwarter, Philipp G.
Bauer, Andrej
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09678-y
- URN
-
urn:nbn:de:101:1-2024022611110385834523
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 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
- Haselwarter, Philipp G.
- Bauer, Andrej
- SpringerLink (Online service)
Other Objects (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