The following pages link to (Q3358736):
Displaying 47 items.
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- A new view of effects in a Hilbert space (Q514507) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- A timed semantics of Orc (Q935476) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Equational theories for automata (Q2074221) (← links)
- Introducing synchrony in fuzzy automata (Q2219075) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- On \(*\)-\(\lambda\)-semirings. (Q2456471) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- Metabolic isotopomer labeling systems. III: Path tracing (Q2637572) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Efficient Program Transformers for Translating LCC to PDL (Q2938499) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
- Une condition impliquant toutes les identités rationnelles (Q4359289) (← links)
- (Q4972735) (← links)
- (Q5014442) (← links)
- (Q5377470) (← links)
- An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem (Q5875891) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
