scientific article
From MaRDI portal
Publication:3358736
zbMath0732.03047MaRDI QIDQ3358736
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Algebraic theory of languages and automata (68Q70) Other algebras related to logic (03G25)
Related Items (47)
Algebras of modal operators and partial correctness ⋮ Weighted synchronous automata ⋮ Inductive \(^{*}\)-semirings ⋮ *-Continuous Kleene $$\omega $$-Algebras ⋮ Normal design algebra ⋮ Metabolic isotopomer labeling systems. III: Path tracing ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ Axiomatizing rational power series over natural numbers ⋮ Inductive semimodules and the vector modules over them. ⋮ Unnamed Item ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Efficient Program Transformers for Translating LCC to PDL ⋮ Algebraic notions of nontermination: Omega and divergence in idempotent semirings ⋮ Free inductive \(K\)-semialgebras ⋮ The equational logic of fixed points ⋮ Typing theorems of omega algebra ⋮ Left omega algebras and regular equations ⋮ Solving Linear Equations in *-continuous Action Lattices ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Hopscotch -- reaching the target hop by hop ⋮ Axiomatizability of representable domain algebras ⋮ On the equational definition of the least prefixed point. ⋮ Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests ⋮ On the complexity of Kleene algebra with domain ⋮ Many-one reductions and the category of multivalued functions ⋮ Unnamed Item ⋮ Contradictory information: too much of a good thing ⋮ On the dynamic logic of agency and action ⋮ Introducing synchrony in fuzzy automata ⋮ Une condition impliquant toutes les identités rationnelles ⋮ On \(*\)-\(\lambda\)-semirings. ⋮ Infinitary action logic: complexity, models and grammars ⋮ A timed semantics of Orc ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A new view of effects in a Hilbert space ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Synchronous Kleene algebra ⋮ Graphical models of separation logic ⋮ On the complexity of reasoning in Kleene algebra ⋮ Kleene algebra of partial predicates ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ Unnamed Item ⋮ Equational theories for automata ⋮ Induction, Coinduction, and Adjoints ⋮ On equations for union-free regular languages ⋮ On the fine-structure of regular algebra ⋮ An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
This page was built for publication:
