Pages that link to "Item:Q4599613"
From MaRDI portal
The following pages link to A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613):
Displaying 5 items.
- Interaction graphs: graphings (Q345705) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- A series of maximum subalgebras of direct products of algebras of finite-valued logics (Q4007314) (← links)
- (Q4580325) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
