Showing 1 - 3 results of 3 for search 'Matteo Pradella', query time: 0.02s Refine Results
  1. 1
    Deterministic recognizability of picture languages with Wang automata

    Deterministic recognizability of picture languages with Wang automata by Violetta Lonati, Matteo Pradella

    Published 2010-01-01
    Get full text
    Article
  2. 2
    A First-Order Complete Temporal Logic for Structured Context-Free Languages

    A First-Order Complete Temporal Logic for Structured Context-Free Languages by Michele Chiari, Dino Mandrioli, Matteo Pradella

    Published 2022-07-01
    Get full text
    Article
  3. 3
    Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages

    Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages by Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi

    Published 2023-11-01
    Get full text
    Article

Search Tools: