- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1029-8479
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Flato-Fronsdal theorem for higher-order singletons ; volume:2014 ; number:11 ; day:24 ; month:11 ; year:2014 ; pages:1-16 ; date:11.2014
Journal of high energy physics ; 2014, Heft 11 (24.11.2014), 1-16, 11.2014
- Urheber
-
Basile, Thomas
Bekaert, Xavier
Boulanger, Nicolas
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/JHEP11(2014)131
- URN
-
urn:nbn:de:101:1-2019080305430472195256
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Basile, Thomas
- Bekaert, Xavier
- Boulanger, Nicolas
- SpringerLink (Online service)
Ähnliche Objekte (12)
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
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
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Kramer-type sampling theorems associated with higher-order differential equations
Kramer-type sampling theorems associated with higher-order differential equations
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
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
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Kramer-type sampling theorems associated with higher-order differential equations
Kramer-type sampling theorems associated with higher-order differential equations
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
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
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Kramer-type sampling theorems associated with higher-order differential equations