Abstract Physical Traces

Abstract Physical Traces

Detaylı Bibliyografya
Asıl Yazarlar:	Abramsky, S, Coecke, B
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2005

Benzer Materyaller

Physical Traces: Quantum vs. Classical Information Processing
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Physics from Computer Science
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2005)

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

A categorical semantics of quantum protocols
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

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

Toy Quantum Categories (Extended Abstract)
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Toy quantum categories (extended abstract)
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Interaction Categories (Extended Abstract)
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1993)

Full Abstraction for PCF (Extended Abstract)
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

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

Introduction to Abstract Interpretation
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

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

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1983)

A Generalized Kahn Principle for Abstract Asynchronous Networks
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1990)

Double Dilation ≠ Double Mixing (extended abstract)
Yazar:: Maaike Zwart, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

Full abstraction for PCF
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Full Abstraction for PCF
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Full Abstraction in the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
Yazar:: Thomsen, B, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Categories of Quantum and Classical Channels (extended abstract)
Yazar:: Bob Coecke, ve diğerleri
Baskı/Yayın Bilgisi: (2014-07-01)

Games and Full Abstraction for the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Full Abstraction for Idealized Algol with passive expressions
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Nuclear and trace ideals in tensored *−categories
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Graphical calculus for quantum key distribution (extended abstract)
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Raising the level of abstraction of program execution trace
Yazar:: A. G. Nazarov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

A fully abstract game semantics for general references
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Learning symbolic abstractions from system execution traces
Yazar:: Yogananda Jeppu, N
Baskı/Yayın Bilgisi: (2022)

Dots and Dashes, Crumbs and Ashes: Traces of Trauma’s Abstractions
Yazar:: Kathleen McQueen, ve diğerleri
Baskı/Yayın Bilgisi: (2013-01-01)

Nominal games and Full Abstraction for the Nu−Calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Physical abstractions.
Yazar:: Yap, Denise Hughes.
Baskı/Yayın Bilgisi: (2012)

Physics abstracts : science abstracts series A
Yazar:: Institution of Electrical Engineers (Great Britain)
Baskı/Yayın Bilgisi: (1974)

Coalgebras‚ chu spaces‚ and representations of physical systems
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2010)

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2009)

Coalgebras, Chu Spaces, and Representations of Physical Systems
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2009)

AbstractTrace: The Use of Execution Traces to Cluster, Classify, Prioritize, and Optimize a Bloated Test Suite
Yazar:: Ziad A. Al-Sharif, ve diğerleri
Baskı/Yayın Bilgisi: (2024-11-01)

Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2008)

Physical review abstracts
Baskı/Yayın Bilgisi: (1977)