Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$ (Englisch)
- Neue Suche nach: Harding, John
- Neue Suche nach: Harding, John
In:
Journal of Philosophical Logic
;
42
, 3
; 461-465
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$
-
Beteiligte:Harding, John ( Autor:in )
-
Erschienen in:Journal of Philosophical Logic ; 42, 3 ; 461-465
-
Verlag:
- Neue Suche nach: Springer Netherlands
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2013
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 11.00$jTheologie$jReligionswissenschaft: Allgemeines / 31.00$jMathematik: Allgemeines / 08.33 / 31.00 / 11.00 / 08.00$jPhilosophie: Allgemeines
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 11.00$jTheologie$jReligionswissenschaft: Allgemeines / 31.00$jMathematik: Allgemeines / 08.33 Logik / 31.00 Mathematik: Allgemeines / 11.00 Theologie, Religionswissenschaft: Allgemeines / 08.00$jPhilosophie: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 42, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 443
-
Editors’ Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum ComputingDunn, J. Michael / Moss, Lawrence S. / Wang, Zhenghan et al. | 2013
- 461
-
Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$Harding, John et al. | 2013
- 467
-
The Toffoli-Hadamard Gate System: an Algebraic ApproachDalla Chiara, M. L. / Ledda, A. / Sergioli, G. / Giuntini, R. et al. | 2013
- 483
-
Correlations, Contextuality and Quantum LogicStairs, Allen / Bub, Jeffrey et al. | 2013
- 501
-
Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational ModelsBarnum, Howard / Duncan, Ross / Wilce, Alexander et al. | 2013
- 525
-
Search for Quantum RealityGudder, Stan et al. | 2013
- 535
-
Daggers, Kernels, Baer *-semigroups, and OrthomodularityHarding, John et al. | 2013
- 551
-
Coalgebras, Chu Spaces, and Representations of Physical SystemsAbramsky, Samson et al. | 2013