Automata, Languages and Programming (Q5716866)

From MaRDI portal
scientific article; zbMATH DE number 2245838
Language Label Description Also known as
English
Automata, Languages and Programming
scientific article; zbMATH DE number 2245838

    Statements

    Automata, Languages and Programming (English)
    0 references
    10 January 2006
    0 references
    Formal Semantics
    0 references
    Structural Operational Semantics (SOS)
    0 references
    Conservative Extension
    0 references
    Operational Conservativity
    0 references
    Equational Conservativity
    0 references
    Orthogonality
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references