Computing with Infinite Terms and Infinite Reductions

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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.

OriginalsprogEngelsk
TidsskriftFundamenta Informaticae
Vol/bind170
Udgave nummer4
Sider (fra-til)339-365
Antal sider27
ISSN0169-2968
DOI
StatusUdgivet - 2019

ID: 237848147