Non-termination in Term Rewriting and Logic Programming
Crossref DOI link: https://doi.org/10.1007/s10817-023-09693-z
Published Online: 2024-02-02
Published Print: 2024-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Payet, Étienne http://orcid.org/0000-0002-3519-025X
Text and Data Mining valid from 2024-02-02
Version of Record valid from 2024-02-02
Article History
Received: 30 November 2021
Accepted: 21 December 2023
First Online: 2 February 2024