Axiomatizing the equational theory of regular tree languages (Q844887): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Zoltán Ésik / rank
Normal rank
 
Property / author
 
Property / author: Zoltán Ésik / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jlap.2009.10.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2050307662 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4848740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3030266 / rank
 
Normal rank
Property / cites work
 
Property / cites work: STACS 2005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4348001 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ITERATION ALGEBRAS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational axioms for regular sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287508 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving polynomial fixed point equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The equational logic of fixed points / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4508392 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4449535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tree Languages Defined in First-Order Logic with One Quantifier Alternation / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / 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: Q4772711 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on equations for commutative regular languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: On equations for union-free regular languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: IO and OI. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3919058 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3929061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras of iteration theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Independence of the equational axioms for iteration theories / 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: Q2770673 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4381396 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Additive Algebras and Injective Simulations of Synchronization Trees / 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: Algebraic recognizability of regular tree languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3323279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4179852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of recursive equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4055972 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / 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: 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: Positive varieties of tree languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4287490 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5596826 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5696196 / 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: Q4273660 / rank
 
Normal rank
Property / cites work
 
Property / cites work: General varieties of tree languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized finite automata theory with an application to a decision problem of second-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221429 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385530 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4185836 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:14, 2 July 2024

scientific article
Language Label Description Also known as
English
Axiomatizing the equational theory of regular tree languages
scientific article

    Statements

    Axiomatizing the equational theory of regular tree languages (English)
    0 references
    5 February 2010
    0 references
    0 references
    regular tree language
    0 references
    complex algebras
    0 references
    axiomatization
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references