Abstract Physical Traces

Abstract Physical Traces

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Abramsky, S, Coecke, B
التنسيق:	Conference item
منشور في:	2005

مواد مشابهة

Physical Traces: Quantum vs. Classical Information Processing
حسب: Abramsky, S, وآخرون
منشور في: (2003)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
حسب: Abramsky, S
منشور في: (2005)

Physics from Computer Science
حسب: Abramsky, S, وآخرون
منشور في: (2007)

Toy Quantum Categories (Extended Abstract)
حسب: Coecke, B, وآخرون
منشور في: (2011)

Toy quantum categories (extended abstract)
حسب: Coecke, B, وآخرون
منشور في: (2011)

Full Abstraction for PCF (Extended Abstract)
حسب: Abramsky, S, وآخرون
منشور في: (1994)

Interaction Categories (Extended Abstract)
حسب: Abramsky, S
منشور في: (1993)

Introduction to Abstract Interpretation
حسب: Abramsky, S, وآخرون
منشور في: (1987)

Observational Logic and Process Semantics (Abstract)
حسب: Abramsky, S
منشور في: (1989)

A Categorical Semantics of Quantum Protocols
حسب: Abramsky, S, وآخرون
منشور في: (2004)

A categorical semantics of quantum protocols
حسب: Abramsky, S, وآخرون
منشور في: (2004)

A Categorical semantics of Quantum Protocols
حسب: Abramsky, S, وآخرون
منشور في: (2004)

Abstract Interpretation‚ Logical Relations and Kan Extensions
حسب: Abramsky, S
منشور في: (1990)

Full abstraction for PCF
حسب: Abramsky, S, وآخرون
منشور في: (2000)

Full Abstraction for PCF
حسب: Abramsky, S, وآخرون
منشور في: (2000)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
حسب: Abramsky, S
منشور في: (1983)

A Generalized Kahn Principle for Abstract Asynchronous Networks
حسب: Abramsky, S
منشور في: (1990)

Learning symbolic abstractions from system execution traces
حسب: Yogananda Jeppu, N
منشور في: (2022)

Full Abstraction in the Lazy λ−calculus
حسب: Abramsky, S, وآخرون
منشور في: (1993)

Physical abstractions.
حسب: Yap, Denise Hughes.
منشور في: (2012)

Nuclear and trace ideals in tensored *−categories
حسب: Abramsky, S, وآخرون
منشور في: (1999)

Games and Full Abstraction for the Lazy λ−calculus
حسب: Abramsky, S, وآخرون
منشور في: (1995)

Full Abstraction for Idealized Algol with passive expressions
حسب: Abramsky, S, وآخرون
منشور في: (1999)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
حسب: Thomsen, B, وآخرون
منشور في: (2001)

Physics abstracts : science abstracts series A
حسب: Institution of Electrical Engineers (Great Britain)
منشور في: (1974)

Physical review abstracts
منشور في: (1977)

Graphical Calculus for Quantum Key Distribution (Extended Abstract)
حسب: Coecke, B, وآخرون
منشور في: (2011)

Graphical calculus for quantum key distribution (extended abstract)
حسب: Coecke, B, وآخرون
منشور في: (2011)

Trace analysis : physical methods/
حسب: Morrison, George H.
منشور في: (1965)

A fully abstract game semantics for general references
حسب: Abramsky, S, وآخرون
منشور في: (1998)

Physics abstracts : science abstracts series A : Author index

Active learning of abstract system models from traces using model checking
حسب: Yogananda Jeppu, N, وآخرون
منشور في: (2022)

Key abstracts : measurements in physics
منشور في: ([19-)

General physics advance abstracts
حسب: American Institute of Physics
منشور في: (1985)

Geographical abstracts : physical geography
منشور في: (1986)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
حسب: Abramsky, S, وآخرون
منشور في: (1997)

Nominal games and Full Abstraction for the Nu−Calculus
حسب: Abramsky, S, وآخرون
منشور في: (2004)

Chemical abstracts : physical and analytical chemistry sections
حسب: American Chemical Society
منشور في: (1980)

Coalgebras‚ chu spaces‚ and representations of physical systems
حسب: Abramsky, S
منشور في: (2010)

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems
حسب: Abramsky, S
منشور في: (2009)