Showing 1 - 2 results of 2 for search 'Guillem Godoy', query time: 0.02s Refine Results
  1. 1
    Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

    Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories by Luis Barguno, Guillem Godoy, Eduard Huntingford, Ashish Tiwari

    Published 2010-08-01
    Get full text
    Article
  2. 2
    Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

    Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories by Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

    Published 2013-04-01
    Get full text
    Article

Search Tools: