Showing 1 - 4 results of 4 for search 'Joerg Endrullis', query time: 0.03s 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
    Local Termination: theory and practice

    Local Termination: theory and practice by Joerg Endrullis, Roel de Vrijer, Johannes Waldmann

    Published 2010-09-01
    Get full text
    Article
  3. 3
    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
  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: