Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

AMCS
2008

favoriteEmaildiscussreport

96views Mathematics» more AMCS 2008»

Natural Quantum Operational Semantics with Predicates

13 years 4 months ago

Natural Quantum Operational Semantics with Predicates

Download matwbn.icm.edu.pl

Marek Sawerwain, Roman Gielerak

Real-time Traffic

AMCS 2008 | Mathematics |

claim paper

Related Content

» Towards a proper treatment of coercion phenomena

» Model Checking Recursive Programs with Exact Predicate Abstraction

» Inductive Assertions and Operational Semantics

» Specializing continuations a model for dynamic join points

» The GOD model

» Alternating states for dual nondeterminism in imperative programming

» Unifying Theories of Objects

» Visual analysis of documents with semantic graphs

» The Semantics of Count Nouns

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	AMCS
Authors	Marek Sawerwain, Roman Gielerak

Comments (0)