Jörg Endrullis
  • Contact
  • News
  • Teaching
  • Research
    • Overview
    • Automata
    • Confluence
    • Lambda Calculus
    • Productivity
    • Termination
  • Publications
Publications by Type
  • all (59)
  • journals (24)
  • conferences (31)
  • light workshops (3)
  • miscellaneous (0)
Publications by Year
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
Publications by Topic
  • automata (20)
  • coinduction (4)
  • confluence (7)
  • degrees (7)
  • formal verification (1)
  • infinitary rewriting (17)
  • lambda calculus (8)
  • logic (3)
  • productivity (5)
  • protocols (3)
  • rewriting (41)
  • streams (14)
  • termination (13)
  • undecidability (6)

Miscellaneous Publications

Last updated on 14th September 2020
Jörg Endrullis