Domain Theory and the Logic of Observable Properties

Domain Theory and the Logic of Observable Properties

Detaylı Bibliyografya
Yazar:	Abramsky, S
Materyal Türü:	Tez
Baskı/Yayın Bilgisi:	University of London 1987

Benzer Materyaller

Domain Theory in Logical Form
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1987)

Domain Theory in Logical Form
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1991)

Observational Logic and Process Semantics (Abstract)
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1989)

Logic and categories as tools for building theories
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2010)

Quantales‚ Observational Logic and Process Semantics
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Domain Theory
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

Temperley−Lieb algebra: From knot theory to logic and computation via quantum mechanics
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

Computational Interpretations of Linear logic
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1993)

Sequentiality vs. concurrency in games and logic
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2003)

Socially Responsive‚ Environmentally Friendly Logic
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2006)

Logical Bell Inequalities
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Logical Bell Inequalities
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Abstract Interpretation‚ Logical Relations and Kan Extensions
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1990)

A Categorical Quantum Logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A Categorical Quantum Logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A Categorical Quantum Logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Introduction to categories and categorical logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A Compositional Game Semantics for Multi−Agent Logics of Partial Information
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

A Domain Equation for Bisimulation
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1991)

Games and Full Completeness for Multiplicative Linear Logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Games and Full Completeness for Multiplicative Linear Logic
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1992)

Event domains, stable functions and proof-nets
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

Event Domains‚ Stable Functions and Proof Nets
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

Observationally-induced algebras in Domain Theory
Yazar:: Ingo Battenfeld, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

Arrow's Theorem by Arrow Theory
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2015)

Observation Equivalence as a Testing Equivalence
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1987)

Ferroelectric domain-wall logic units
Yazar:: Jing Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-06-01)

The Logic Process Formalism of the Informational Domain
Baskı/Yayın Bilgisi: (2007-01-01)

Set theory and logic /
Yazar:: 440414 Stoll, Robert Roth
Baskı/Yayın Bilgisi: (1963)

Logic design theory /
Yazar:: Biswas, Nripendra Nath, 1928-
Baskı/Yayın Bilgisi: (1993)

An Interpretable Logical Theory: The case of Compensatory Fuzzy Logic
Yazar:: Rafael A. Espin-Andrade, ve diğerleri
Baskı/Yayın Bilgisi: (2016-08-01)

Operational theories and Categorical quantum mechanics
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Operational theories and categorical quantum mechanics
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Game theory meets theoretical computer science
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Mathematical logic, the theory of algorithms and theory of sets /
Yazar:: Adjan, S.
Baskı/Yayın Bilgisi: (1977)

Logical Entropy: Introduction to Classical and Quantum Logical Information Theory
Yazar:: David Ellerman
Baskı/Yayın Bilgisi: (2018-09-01)

Arboreal Categories: An Axiomatic Theory of Resources
Yazar:: Samson Abramsky, ve diğerleri
Baskı/Yayın Bilgisi: (2023-08-01)

The computational complexity of logical theories /
Yazar:: 366280 Ferrante, Jeanne, ve diğerleri
Baskı/Yayın Bilgisi: (1979)

Introduction to logic and switching theory /
Yazar:: 405820 Biswas, Nripendra Nath
Baskı/Yayın Bilgisi: (1975)