- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-021-09595-y
- URN
-
urn:nbn:de:101:1-2021111618271964762656
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Bentkamp, Alexander
- Blanchette, Jasmin
- Tourret, Sophie
- Vukmirović, Petar
- Waldmann, Uwe
- SpringerLink (Online service)
Other Objects (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
Labelled superposition for PLTL
Measuring a coherent superposition
Superposition: Types and Induction
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
Labelled superposition for PLTL
Measuring a coherent superposition
Superposition: Types and Induction
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
Labelled superposition for PLTL
Measuring a coherent superposition
Superposition: Types and Induction