The following pages link to (Q4287490):
Displayed 46 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Axiomatizing shuffle and concatenation in languages (Q1383153) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← 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)
- A family of graded epistemic logics (Q2333311) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5079743) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Computing with relational machines (Q5269008) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- HSP type theorems in the category of posets (Q6116573) (← links)
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests (Q6160745) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)