Pages that link to "Item:Q2506487"
From MaRDI portal
The following pages link to On the complexity of reasoning in Kleene algebra (Q2506487):
Displaying 16 items.
- Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (Q833026) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Equational theories for automata (Q2074221) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- Override and update (Q2200953) (← 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)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← 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)
