Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 4909 results
Sort by: relevance publication year

Measures on Quantum Structures

BOOK CHAPTER published 2002 in Handbook of Measure Theory

Authors: Anatolij Dvureĕenskij

https://doi.org/10.1016/b978-044450263-6/50021-x Actions

Quantum logic and partially ordered abelian groups

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: David J. Foulis | Richard J. Greechie

https://doi.org/10.1016/b978-044452870-4/50028-5 Actions

Wigner's theorem and its generalizations

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: Georges Chevalier

https://doi.org/10.1016/b978-044452870-4/50032-7 Actions

Editorial preface

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: Kurt Engesser | Dov Gabbay | Daniel Lehmann

https://doi.org/10.1016/b978-044452870-4/50021-2 Actions

Extending Classical Logic for Reasoning About Quantum Systems

BOOK CHAPTER published 2009 in Handbook of Quantum Logic and Quantum Structures

Authors: Rohit Chadha | Paulo Mateus | Amílcar Sernadas | Cristina Sernadas

https://doi.org/10.1016/b978-0-444-52869-8.50011-6 Actions

Starting from the convex set of states

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: Enrico G. Beltrametti

https://doi.org/10.1016/b978-044452870-4/50036-4 Actions

Propositional systems, Hilbert lattices and generalized hilbert spaces

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: Isar Stubbe | Bart Van Steirteghem

https://doi.org/10.1016/b978-044452870-4/50033-9 Actions

Description Logics

BOOK CHAPTER published 2009 in Handbook on Ontologies

Authors: Franz Baader | Ian Horrocks | Ulrike Sattler

https://doi.org/10.1007/978-3-540-92673-3_1 Actions

Free Logics

BOOK CHAPTER published 1986 in Handbook of Philosophical Logic

Authors: Ermanno Bencivenga

https://doi.org/10.1007/978-94-009-5203-4_6 Actions

Predicative Logics

BOOK CHAPTER published 1983 in Handbook of Philosophical Logic

Authors: Allen Hazen

https://doi.org/10.1007/978-94-009-7066-3_5 Actions

Free Logics

BOOK CHAPTER published 2002 in Handbook of Philosophical Logic

Authors: Ermanno Bencivenga

https://doi.org/10.1007/978-94-017-0458-8_3 Actions

Description Logics

BOOK CHAPTER published 2004 in Handbook on Ontologies

Authors: Franz Baader | Ian Horrocks | Ulrike Sattler

https://doi.org/10.1007/978-3-540-24750-0_1 Actions

Basic Structures of RelativisticWave Functions

BOOK CHAPTER published 2017 in Handbook of Relativistic Quantum Chemistry

Authors: Sihong Shao | Zhendong Li | Wenjian Liu

https://doi.org/10.1007/978-3-642-40766-6_7 Actions

Basic Structures of Relativistic Wave Functions

BOOK CHAPTER published 2015 in Handbook of Relativistic Quantum Chemistry

Authors: Sihong Shao | Zhendong Li | Wenjian Liu

https://doi.org/10.1007/978-3-642-41611-8_7-1 Actions

Connections in Nonclassical Logics

BOOK CHAPTER published 2001 in Handbook of Automated Reasoning

Authors: Arild Waaler

https://doi.org/10.1016/b978-044450813-3/50024-2 Actions

Algebraic and measure-theoretic properties of classes of subspaces of an inner product space

BOOK CHAPTER published 2007 in Handbook of Quantum Logic and Quantum Structures

Authors: David Buhagiar | Emmanuel Chetcuti | Anatolij Dvurečenskij

https://doi.org/10.1016/b978-044452870-4/50025-x Actions

Tableaux for Nonmonotonic Logics

BOOK CHAPTER published 1999 in Handbook of Tableau Methods

Authors: Nicola Olivetti

https://doi.org/10.1007/978-94-017-1754-0_8 Actions

First-Order Mereotopology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Ian Pratt-Hartmann

https://doi.org/10.1007/978-1-4020-5587-4_2 Actions

Advanced Many-Valued Logics

BOOK CHAPTER published 2001 in Handbook of Philosophical Logic

Authors: Reiner Hähnle

https://doi.org/10.1007/978-94-017-0452-6_5 Actions

Combinators, Proofs and Implicational Logics

BOOK CHAPTER published 2002 in Handbook of Philosophical Logic

Authors: Martin Bunder

https://doi.org/10.1007/978-94-017-0460-1_3 Actions
Feedback: support@crossref.org