Showing 1 - 4 results of 4 for search 'Dimitri Hendriks', query time: 0.02s Refine Results
  1. 1
    Transforming Outermost into Context-Sensitive Rewriting

    Transforming Outermost into Context-Sensitive Rewriting by Joerg Endrullis, Dimitri Hendriks

    Published 2010-06-01
    Get full text
    Article
  2. 2
    Discriminating Lambda-Terms Using Clocked Boehm Trees

    Discriminating Lambda-Terms Using Clocked Boehm Trees by Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

    Published 2014-05-01
    Get full text
    Article
  3. 3
    Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic

    Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic by Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

    Published 2018-01-01
    Get full text
    Article
  4. 4
    Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

    Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples by Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom

    Published 2014-06-01
    Get full text
    Article

Search Tools: