Non-terminating processes in the situation calculus
Crossref DOI link: https://doi.org/10.1007/s10472-019-09643-9
Published Online: 2019-11-18
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
De Giacomo, Giuseppe http://orcid.org/0000-0001-9680-7658
Ternovska, Eugenia
Reiter, Ray
Text and Data Mining valid from 2019-11-18
Version of Record valid from 2019-11-18
Article History
First Online: 18 November 2019