On the equational definition of the least prefixed point. (Q1401250): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Duality and the completeness of the modal \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rudiments of \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5620723 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monadic Logic of Order over Naturals has no Finite Base / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of ordered algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix and matricial iteration theories. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational axioms for regular sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896924 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une remarque sur les systèmes complets d'identités rationnelles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une condition impliquant toutes les identités rationnelles / rank
 
Normal rank
Property / cites work
 
Property / cites work: The modal mu-calculus alternation hierarchy is strict / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3961629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness of Park induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Group axioms for iteration / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational properties of iteration in algebraically complete categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3978971 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3835817 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4200260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Duality for modal \(\mu\)-logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4525781 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3358736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A completeness theorem for Kleene algebras and the algebra of regular events / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete systems of \(\mathcal B\)-rational identities / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fixpoint theorem for complete categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: An equational variant of Lawvere's natural numbers object / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4818826 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4261094 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterative algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4723706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3730012 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5624635 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4287490 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic algebras: Examples, constructions, applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5596826 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3996704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two Complete Axiom Systems for the Algebra of Regular Events / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free \(\mu\)-lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2770141 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free lattices. II / rank
 
Normal rank

Revision as of 08:48, 6 June 2024

scientific article
Language Label Description Also known as
English
On the equational definition of the least prefixed point.
scientific article

    Statements

    On the equational definition of the least prefixed point. (English)
    0 references
    0 references
    17 August 2003
    0 references
    Semantics and logics of programs
    0 references
    Least fixed point
    0 references
    Fixed point calculi
    0 references
    Temporal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers