University of Western Australia / University of Amsterdam / Utrecht University / College Publications / University of Sevilla / The University / Synthese Library / /
IndustryTerm
social software / multi-agent systems / mutual exclusion protocol / Proof systems / /
Organization
University of Sevilla / University of Amsterdam / MIT / Department of Philosophy / Artificial Intelligence for Engineering Design / Analysis and Manufacturing / Utrecht University / Stanford / University of Western Australia / /
Person
Carroll Morgan / David Harel / Sophie Pinchinat / Alessandra Palmigiano / Dexter Kozen / Tim French / Duplicator / Marta Bilkova / Yde Venema / Jerzy Tiuryn / Nt / Nu / Robert Goldblatt / /
Position
Vp / editor / model / Init Player / MP / rule MP / player / rules MP / Controller / /
Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia