2014

  1. Discriminating Lambda-Terms Using Clocked Boehm Trees
    Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Andrew Polonsky
    Logical Methods in Computer Science , 10 (2) (2014)
  2. Eigenvalues and Transduction of Morphic Sequences
    David Sprunger, William Tune, Jörg Endrullis, and Lawrence S. Moss
    In: Proc. Conf. on Developments in Language Theory (DLT 2014), pp. 239–251, Springer (2014)
  3. On Periodically Iterated Morphisms
    Jörg Endrullis, and Dimitri Hendriks
    In: Joint Meeting and the Conference on Computer Science Logic (CSL) and the Symposium on Logic in Computer Science (LICS), pp. 39:1–39:10, ACM (2014)
  4. Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
    Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, and Vincent van Oostrom
    Logical Methods in Computer Science , 10 (2:7) , pp. 1–33 (2014)
    bib
  5. On the Complexity of Stream Equality
    Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, and Grigore Rosu
    Journal of Functional Programming , 24 (2-3) , pp. 166–217 (2014)