The following pages link to (Q3590769):
Displaying 14 items.
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- On the Logic of Expansion in Natural Language (Q2964007) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5079743) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
- On the complexity of reasoning in Kleene algebra with commutativity conditions (Q6605343) (← links)
- Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)
