Loop-Check Specification for a Sequent Calculus of Temporal Logic
Crossref DOI link: https://doi.org/10.1007/s11225-022-10010-9
Published Online: 2022-08-30
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Alonderis, Romas http://orcid.org/0000-0002-7792-5285
Pliuškevičius, Regimantas
Pliuškevičienė, Aida
Giedra, Haroldas
Text and Data Mining valid from 2022-08-30
Version of Record valid from 2022-08-30
Article History
Received: 20 January 2022
Accepted: 6 June 2022
First Online: 30 August 2022