Showing 1 - 2 results of 2 for search 'Thomas Genet', query time: 0.04s Refine Results
  1. 1
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems by Benoît Boyer, Thomas Genet

    Published 2010-03-01
    Get full text
    Article
  2. 2
    Reachability Analysis of Innermost Rewriting

    Reachability Analysis of Innermost Rewriting by Thomas Genet, Yann Salmon

    Published 2017-03-01
    Get full text
    Article

Search Tools: