Pages that link to "Item:Q674754"
From MaRDI portal
The following pages link to Efficient simulation of forward-branching systems with constructor systems (Q674754):
Displaying 9 items.
- Unitary equivalence of representations of graph algebras and branching systems (Q366297) (← links)
- Graph \(C^\ast\)-algebras, branching systems and the Perron-Frobenius operator (Q412449) (← links)
- Constructor equivalent term rewriting systems (Q689634) (← links)
- On graded irreducible representations of Leavitt path algebras. (Q906873) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- On the correspondence between two classes of reduction systems (Q1059392) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Generating applicable synthetic instances for branch problems (Q2846416) (← links)
- BRANCHING SYSTEMS FOR HIGHER-RANK GRAPH C*-ALGEBRAS (Q3177356) (← links)