Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
On the Buridan’s Principle by Leslie Lamport
November 23, 2015
Daniele Varacca
(LACL)
Abstract to be updated
Post navigation
The domino problem for structures between Z and Z^d
ATL with strategy contexts
