Pages that link to "Item:Q2067638"
From MaRDI portal
The following pages link to Infinitary action logic with exponentiation (Q2067638):
Displaying 4 items.
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
