Inproceedings,

On Orthomodular Posets Generated by Transition Systems.

, , and .
QPL/DCM@ICALP, volume 270 of Electronic Notes in Theoretical Computer Science, page 147-154. Elsevier, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews