Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Dechesne, Francien - Wiskunde en Informatica, Technische Universiteit Eindhoven
technische universiteit eindhoven CS-Report 01-016
Graduation tutor: dr. F. Dechesne (TU/e) Graduation supervisor: prof.dr. J.C.M. Baeten (TU/e)
SEN1 and SEN 2 , Centrum voor Wiskunde en Informatica Department of Mathematics and Computer Science , Technische Universiteit Eindhoven
Signaling in IF games: a tricky business Theo M.V. Janssen and Francien Dechesne,
Dynamic epistemic verification of security protocols
Declarations of Dependence Francien Dechesne
Game, Set, Maths: formal investigations into logic with imperfect information
IF-logic requires regular play Francien Dechesne
Falsity conditions for IF-sentences Dechesne, Francien1
