Partial Derivative and Position Bisimilarity Automata (Q3192270)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial Derivative and Position Bisimilarity Automata
scientific article

    Statements

    Partial Derivative and Position Bisimilarity Automata (English)
    0 references
    0 references
    0 references
    0 references
    26 September 2014
    0 references

    Identifiers