research
∙
01/25/2023
Lecture Notes on Monadic First- and Second-Order Logic on Strings
These notes present the essentials of first- and second-order monadic lo...
share
research
∙
05/22/2021
A First-Order Complete Temporal Logic for Structured Context-Free Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
10/21/2019
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
09/10/2018
Temporal Logic and Model Checking for Operator Precedence Languages
In the last decades much research effort has been devoted to extending t...
research
∙
07/25/2008