Pages that link to "Item:Q2870206"
From MaRDI portal
The following pages link to From Reversible to Irreversible Computations (Q2870206):
Displaying 4 items.
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- An Overview of QML With a Concrete Implementation in Haskell (Q2825353) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)
