TY  - JOUR
AU  - Sawerwain, M.
AU  - Gierelak, R.
TI  - Natural quantum operational semantics with predicates
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2008
SP  - 341
EP  - 359
VL  - 18
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2008_18_3_a7/
LA  - en
ID  - IJAMCS_2008_18_3_a7
ER  -