A logical approach to locality in pictures languages (Q295631): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/J.JCSS.2016.01.005 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JCSS.2016.01.005 / rank
 
Normal rank

Latest revision as of 13:38, 9 December 2024

scientific article
Language Label Description Also known as
English
A logical approach to locality in pictures languages
scientific article

    Statements

    A logical approach to locality in pictures languages (English)
    0 references
    0 references
    0 references
    13 June 2016
    0 references
    picture languages
    0 references
    locality and tiling
    0 references
    recognizability
    0 references
    linear time
    0 references
    cellular automata
    0 references
    logical characterizations
    0 references
    monadic second-order logic
    0 references
    existential second-order 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
    0 references
    0 references
    0 references

    Identifiers

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