Sciweavers

17054 search results - page 99 / 3411
» Logics of Dynamical Systems
Sort
View
LORI
2009
Springer
15 years 12 months ago
Toward a Dynamic Logic of Questions
Johan van Benthem, Stefan Minica
129
Voted
CONCUR
1997
Springer
15 years 9 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan