Reasoning About Periodicity on Infinite Words

DOI10.1007/978-3-319-69483-2_12zbMath1498.03048OpenAlexW2766497939MaRDI QIDQ5045386

Ge Zhou, Fu Song, Wanwei Liu

Publication date: 4 November 2022

Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69483-2_12

Mathematics Subject Classification ID

Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

This page was built for publication: Reasoning About Periodicity on Infinite Words