Login / Signup

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.

Alessandro ArtaleAndrea MazzulloAna Ozaki
Published in: ACM Trans. Comput. Log. (2024)
Keyphrases