Pages that link to "Item:Q2506487"
From MaRDI portal
The following pages link to On the complexity of reasoning in Kleene algebra (Q2506487):
Displaying 21 items.
- Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (Q833026) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← 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)
- CSP and Kripke Structures (Q2787446) (← links)
- A Quest for Kleene Algebra in 2 Dimensions (Q3460613) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705925) (← 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)
