Computing with Infinite Terms and Infinite Reductions

DOI10.3233/FI-2019-1866zbMath1436.68156OpenAlexW2981592591MaRDI QIDQ5208870

Jakob Grue Simonsen, Jeroen Ketema

Publication date: 22 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1866

zbMATH Keywords

computabilitydescendantsoriginsinfinitary term rewritingneeded reductions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: Computing with Infinite Terms and Infinite Reductions