Pages that link to "Item:Q4674239"
From MaRDI portal
The following pages link to DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS (Q4674239):
Displayed 4 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers (Q740565) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Automata theory based on quantum logic: reversibilities and pushdown automata (Q2455592) (← links)