Search Results - Barozzini, David

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

    Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts by Barozzini, David, de Frutos-Escrig, David, Della Monica, Dario, Montanari, Angelo, Sala, Pietro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Cost Automata, Safe Schemes, and Downward Closures

    Cost Automata, Safe Schemes, and Downward Closures by Barozzini, David, Clemente, Lorenzo, Colcombet, Thomas, Parys, Paweł

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Unboundedness for Recursion Schemes: A Simpler Type System

    Unboundedness for Recursion Schemes: A Simpler Type System by Barozzini, David, Parys, Paweł, Wróblewski, Jan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: