Pages that link to "Item:Q2575078"
From MaRDI portal
The following pages link to A theory of computation based on quantum logic. I (Q2575078):
Displaying 31 items.
- Automata theory based on lattice-ordered semirings (Q422445) (← links)
- A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata (Q428877) (← links)
- Computing power of Turing machines in the framework of unsharp quantum logic (Q496026) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Automata theory based on quantum logic: Some characterizations (Q598192) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Mathematical logic and quantum finite state automata (Q1017412) (← links)
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics (Q1036536) (← links)
- Automata theory based on quantum logic. I (Q1586380) (← links)
- Quantum logic for quantum computers (Q1586478) (← links)
- Weak QMV algebras and some ring-like structures (Q1701734) (← links)
- Fuzzy grammar theory based on lattices (Q1933786) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- The relationships among several forms of weighted finite automata over strong bimonoids (Q2293180) (← links)
- Notes on automata theory based on quantum logic (Q2372526) (← links)
- On intuitionistic fuzzy context-free languages (Q2375678) (← links)
- Automata theory based on quantum logic: recognizability and accessibility (Q2390829) (← links)
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
- Quantum set theory: transfer principle and De Morgan's laws (Q2659103) (← links)
- Weighted nested word automata and logics over strong bimonoids (Q2929640) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- Quantum Reversible Fuzzy Grammars (Q3305479) (← links)
- Automata theory based on unsharp quantum logic (Q3395311) (← links)
- Standard Logics Are Valuation-Nonmonotonic (Q3549317) (← links)
- A BRIDGE BETWEEN Q-WORLDS (Q6153159) (← links)
- Birkhoff-von Neumann quantum logic as an assertion language for quantum programs (Q6660000) (← links)
