Showing 1 - 4 results of 4 for search 'Denis Kuperberg', query time: 0.02s Refine Results
  1. 1
    Linear Temporal Logic for Regular Cost Functions

    Linear Temporal Logic for Regular Cost Functions by Denis Kuperberg

    Published 2014-02-01
    Get full text
    Article
  2. 2
    Positive First-order Logic on Words and Graphs

    Positive First-order Logic on Words and Graphs by Denis Kuperberg

    Published 2023-07-01
    Get full text
    Article
  3. 3
    Computing the Width of Non-deterministic Automata

    Computing the Width of Non-deterministic Automata by Denis Kuperberg, Anirban Majumdar

    Published 2019-11-01
    Get full text
    Article
  4. 4
    Soundness in negotiations

    Soundness in negotiations by Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz

    Published 2018-01-01
    Get full text
    Article

Search Tools: