Suivre
Govert van Drimmelen
Govert van Drimmelen
University of Johannesburg
Adresse e-mail validée de icon.co.za
Titre
Citée par
Citée par
Année
Complete axiomatization and decidability of alternating-time temporal logic
V Goranko, G Van Drimmelen
Theoretical Computer Science 353 (1-3), 93-117, 2006
1722006
Satisfiability in alternating-time temporal logic
G van Drimmelen
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
592003
Towards a model-checker for counter systems
S Demri, A Finkel, V Goranko, G Drimmelen
International Symposium on Automated Technology for Verification and …, 2006
422006
Model-checking CTL* over flat Presburger counter systems
S Demri, A Finkel, V Goranko, G van Drimmelen
Journal of Applied Non-Classical Logics 20 (4), 313-344, 2010
372010
Decidability and complete axiomatization of the alternating-time temporal logic
V Goranko, G van Drimmelen
Theoretical Computer Science 353 (1-3), 93-117, 2006
172006
Axiomatic systems for alternating-time temporal epistemic logics
V Goranko, W Jamroga, G van Drimmelen
Proceedings of LOFT'04: The 6th Conference on Logic and the Foundations of …, 2004
52004
Satisfiability in a Logic of Games
GC Van Drimmelen
PQDT-Global, 2014
2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–7