Equational properties of iteration in algebraically complete categories
From MaRDI portal
(Redirected from Publication:1128480)
Recommendations
- scientific article; zbMATH DE number 1114042
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Equational properties of fixed point operations in Cartesian categories: an overview
- Equational axioms associated with finite automata for fixed point operations in cartesian categories
- scientific article; zbMATH DE number 233974
Cites work
- scientific article; zbMATH DE number 431762 (Why is no real title available?)
- scientific article; zbMATH DE number 3986627 (Why is no real title available?)
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 3731311 (Why is no real title available?)
- scientific article; zbMATH DE number 3733226 (Why is no real title available?)
- scientific article; zbMATH DE number 19484 (Why is no real title available?)
- scientific article; zbMATH DE number 46168 (Why is no real title available?)
- scientific article; zbMATH DE number 49833 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3567034 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A Perspective View of Discrete Automata and Their Design
- A characterization of the least-fixed-point operator by dinaturality
- A completeness theorem for Kleene algebras and the algebra of regular events
- A fixpoint theorem for complete categories
- Algebraic specification of data types: A synthetic approach
- Categorical fixed point calculus
- Categorical fixed point semantics
- Complete systems of \(\mathcal B\)-rational identities
- Completeness of Park induction
- Equational axioms for regular sets
- Equational logic of circular data type specification
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Fixed-point constructions in order-enriched categories
- Fixed-point operations on ccc's. I
- Group axioms for iteration
- Independence of the equational axioms for iteration theories
- Iteration 2-theories
- Least fixed point of a functor
- SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Solving reflexive domain equations in a category of complete metric spaces
- The Category-Theoretic Solution of Recursive Domain Equations
- Towards a foundation for semantics in complete metric spaces
- Vector Iteration in Pointed Iterative Theories
Cited in
(22)- Categorical rewriting of term-like structures
- Equational properties of fixed point operations in Cartesian categories: an overview
- Equational properties of stratified least fixed points (extended abstract)
- A connection between concurrency and language theory
- Iteration 2-theories
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- scientific article; zbMATH DE number 3875359 (Why is no real title available?)
- Axiomatizing the equational theory of regular tree languages
- Axiomatizing iteration categories
- Group axioms for iteration
- Dagger extension theorem
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Equational axioms associated with finite automata for fixed point operations in cartesian categories
- scientific article; zbMATH DE number 2190197 (Why is no real title available?)
- Axiomatizing omega and omega-op powers of words
- μ-Bicomplete Categories and Parity Games
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Recursion and corecursion have the same equational logic
- Unique, guarded fixed points in an additive setting: extended abstract
- scientific article; zbMATH DE number 1842291 (Why is no real title available?)
- On the equational definition of the least prefixed point.
- scientific article; zbMATH DE number 4197440 (Why is no real title available?)
This page was built for publication: Equational properties of iteration in algebraically complete categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128480)
