The following pages link to (Q4365822):
Displaying 5 items.
- Using fixed-point semantics to prove retiming lemmas (Q685101) (← links)
- Bisplitting an arbitrary \(N\)-qubit state with a class of asymmetric three-qubit W states (Q842607) (← links)
- Correctness of fixpoint transformations (Q1329743) (← links)
- Fixpoint semantics and simulation (Q1575253) (← links)
- Limited resource semiquantum secret sharing (Q1994733) (← links)