Computing with Infinite Terms and Infinite Reductions

Research output: Contribution to journalJournal articleResearchpeer-review

We define computable infinitary rewriting by introducing computability to the study of strongly convergent infinite reductions over infinite first-order terms. Given computable infinitary reductions, we show that descendants and origins - essential to proving fundamental properties such as compression and confluence - are computable across such reductions.

Original languageEnglish
JournalFundamenta Informaticae
Volume170
Issue number4
Pages (from-to)339-365
Number of pages27
ISSN0169-2968
DOIs
Publication statusPublished - 2019

    Research areas

  • computability, descendants, Infinitary term rewriting, needed reductions, origins

ID: 237848147