The Complex(ity) Landscape of Checking Infinite Descent

Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N.S. Rowe

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number46
Pages (from-to)1352-1384
Number of pages33
JournalProceedings of the ACM on Programming Languages
Volume8
Issue numberPOPL
DOIs
Publication statusPublished - 5 Jan 2024

Keywords

  • algorithms
  • Büchi automata
  • complexity
  • cyclic proof
  • infinite descent
  • size-change termination

Cite this