scientific article; zbMATH DE number 4210141
From MaRDI portal
Publication:3358736
Recommendations
Cited in
(81)- Algebraically closed p-semilattices
- Transitive closure and related semiring properties via eliminants
- Algebraization of quantifier logics, an introductory overview
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- The equational logic of fixed points
- On the equational definition of the least prefixed point.
- Characterizing determinacy in Kleene algebras
- Kleene algebra of partial predicates
- From semirings to residuated Kleene lattices
- On equations for union-free regular languages
- Inductive \(^{*}\)-semirings
- Typing theorems of omega algebra
- Left omega algebras and regular equations
- Contradictory information: too much of a good thing
- Automated verification of reactive and concurrent programs by calculation
- Equational theories for automata
- Introducing synchrony in fuzzy automata
- Kleene algebra with hypotheses
- On the fine-structure of regular algebra
- Kleene algebras with implication
- Axiomatizing rational power series over natural numbers
- Inductive semimodules and the vector modules over them.
- On \(*\)-\(\lambda\)-semirings.
- On the complexity of reasoning in Kleene algebra
- Metabolic isotopomer labeling systems. III: Path tracing
- scientific article; zbMATH DE number 1688351 (Why is no real title available?)
- scientific article; zbMATH DE number 1696720 (Why is no real title available?)
- Induction, coinduction, and adjoints
- Residuated Kleene algebras
- Automated Reasoning in Higher-Order Regular Algebra
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Many-one reductions and the category of multivalued functions
- ^*-continuous Kleene -algebras
- Solving Linear Equations in *-continuous Action Lattices
- The cube of Kleene algebras and the triangular prism of multirelations
- Free inductive K-semialgebras
- Crossability of cancellative Kleene semigroups
- scientific article; zbMATH DE number 177199 (Why is no real title available?)
- scientific article; zbMATH DE number 177807 (Why is no real title available?)
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Hopscotch -- reaching the target hop by hop
- scientific article; zbMATH DE number 1216601 (Why is no real title available?)
- Une condition impliquant toutes les identités rationnelles
- Kleene Algebra
- KAD
- Regular_Algebras
- scientific article; zbMATH DE number 1972787 (Why is no real title available?)
- On the dynamic logic of agency and action
- A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS
- scientific article; zbMATH DE number 7136663 (Why is no real title available?)
- ^*-continuous Kleene -algebras for energy problems
- A new view of effects in a Hilbert space
- *-continuity vs. induction: divide and conquer
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- An $\omega$-algebra for real-time energy problems
- Relational and Kleene-Algebraic Methods in Computer Science
- A note on pseudo-Kleene algebras
- An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
- Weighted synchronous automata
- On Kleene algebras
- Relational Methods in Computer Science
- Relational and algebraic methods in computer science
- The problem of functional completeness of metaalgebras of regular events
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- On the complexity of Kleene algebra with domain
- Axiomatizability of representable domain algebras
- Algorithmic complexity for theories of commutative Kleene algebras
- Kleene algebra of weighted programs with domain
- An elementary proof of the FMP for Kleene algebra
- Representations of regular double stone algebras: theory and applications
- Synchronous Kleene algebra
- Kleene algebra with commutativity conditions is undecidable
- Algorithmic complexity of theories with Kleene iteration
- Morita rigidity for Kleene algebras
- Kleene modules and linear languages
- Algebras of modal operators and partial correctness
- Normal design algebra
- Infinitary action logic: complexity, models and grammars
- A timed semantics of Orc
- Graphical models of separation logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3358736)
