- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Superposition with Lambdas ; volume:65 ; number:7 ; day:21 ; month:8 ; year:2021 ; pages:893-940 ; date:10.2021
Journal of automated reasoning ; 65, Heft 7 (21.8.2021), 893-940, 10.2021
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-021-09595-y
- URN
-
urn:nbn:de:101:1-2021111618271964762656
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:21 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
- Bentkamp, Alexander
- Blanchette, Jasmin
- Tourret, Sophie
- Vukmirović, Petar
- Waldmann, Uwe
- SpringerLink (Online service)
Ähnliche Objekte (12)
Hierarchic Superposition With Weak Abstraction
Superposition : Roman
Labelled superposition
Associative commutative superposition
Observing a superposition
Superposition modulo theory
1. Introduction to Superposition
Rotational Quantum Superposition Tests
Measuring a coherent superposition
Superposition: Types and Induction
Labelled superposition for PLTL
Vom 1λ5,3λ5-Diphosphacyclobutadien [Lambda-lambda-Diphosphacyclobutadien] zum 1λ5,3λ5,5λ3-Triphosphabenzol [Lambda-lambda-lambda-Triphosphabenzol]
Hierarchic Superposition With Weak Abstraction
Superposition : Roman
Labelled superposition
Associative commutative superposition
Observing a superposition
Superposition modulo theory
1. Introduction to Superposition
Rotational Quantum Superposition Tests
Measuring a coherent superposition
Superposition: Types and Induction
Labelled superposition for PLTL
Vom 1λ5,3λ5-Diphosphacyclobutadien [Lambda-lambda-Diphosphacyclobutadien] zum 1λ5,3λ5,5λ3-Triphosphabenzol [Lambda-lambda-lambda-Triphosphabenzol]
Hierarchic Superposition With Weak Abstraction
Superposition : Roman
Labelled superposition
Associative commutative superposition
Observing a superposition
Superposition modulo theory
1. Introduction to Superposition
Rotational Quantum Superposition Tests
Measuring a coherent superposition
Superposition: Types and Induction
Labelled superposition for PLTL