2012

  1. Automatic Sequences and Zip-Specifications
    Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Lawrence S. Moss
    In: Proc. Symp. on Logic in Computer Science (LICS 2012), pp. 335–344, IEEE Computer Society (2012)
    paper

    Bibtex

    @inproceedings{streams:zip:2012,
  author = {Grabmayer, Clemens and Endrullis, J\"{o}rg and Hendriks, Dimitri and Klop, Jan Willem and Moss, Lawrence S.},
  title = {{Automatic Sequences and Zip-Specifications}},
  booktitle = {Proc.\ Symp.\ on Logic in Computer Science (LICS~2012)},
  pages = {335--344},
  publisher = {{IEEE} Computer Society},
  year = {2012},
  doi = {10.1109/LICS.2012.44},
  keywords = {rewriting, streams, automata},
  type = {conference}
}

    Digital Object Identifier

    10.1109/LICS.2012.44
  2. Highlights in Infinitary Rewriting and Lambda Calculus
    Jörg Endrullis, Dimitri Hendriks, and Jan Willem Klop
    Theoretical Computer Science , 464 , pp. 48–71 (2012)
    paper

    Bibtex

    @article{infinitary:highlights:2012,
  author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Klop, Jan Willem},
  title = {{Highlights in Infinitary Rewriting and Lambda Calculus}},
  journal = {Theoretical Computer Science},
  volume = {464},
  pages = {48--71},
  year = {2012},
  doi = {10.1016/j.tcs.2012.08.018},
  keywords = {rewriting, infinitary rewriting, lambda calculus},
  type = {journal}
}

    Digital Object Identifier

    10.1016/j.tcs.2012.08.018
  3. On the Complexity of Equivalence of Specifications of Infinite Objects
    Jörg Endrullis, Dimitri Hendriks, and Rena Bakhshi
    In: Proc. Int. Conf. on Functional Programming (ICFP 2012), pp. 153–164, ACM (2012)
    paper

    Bibtex

    @inproceedings{complexity:stream:equality:2012,
  author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Bakhshi, Rena},
  title = {{On the Complexity of Equivalence of Specifications of Infinite Objects}},
  booktitle = {Proc.\ Int.\ Conf.\ on Functional Programming (ICFP~2012)},
  pages = {153--164},
  publisher = {{ACM}},
  year = {2012},
  doi = {10.1145/2364527.2364551},
  keywords = {rewriting, undecidability, streams},
  type = {conference}
}

    Digital Object Identifier

    10.1145/2364527.2364551