Showing 1 - 2 results of 2 for search 'Pierre Ganty', query time: 0.02s Refine Results
  1. 1
    Bounded-oscillation Pushdown Automata

    Bounded-oscillation Pushdown Automata by Pierre Ganty, Damir Valput

    Published 2016-09-01
    Get full text
    Article
  2. 2
    Solving non-linear Horn clauses using a linear Horn clause solver

    Solving non-linear Horn clauses using a linear Horn clause solver by Bishoksan Kafle, John P. Gallagher, Pierre Ganty

    Published 2016-07-01
    Get full text
    Article

Search Tools: