Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words

DOI10.1007/978-3-030-62822-2_7zbMath1503.68183OpenAlexW3104994775MaRDI QIDQ2169114

Tun Li, Liangze Yin, Wanwei Liu

Publication date: 1 September 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-62822-2_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words