default search action
Logical Methods in Computer Science, Special Issue 11
Selected Papers of the Conference "Logic in Computer Science 2007" [LICS 2007]
- Martín Hötzel Escardó:
Exhaustible Sets in Higher-type Computation. - Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Characterising Testing Preorders for Finite Probabilistic Processes. - Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. - Mikolaj Bojanczyk:
Two-Way Unary Temporal Logic over Trees. - Nikos Tzevelekos:
Full abstraction for nominal general references.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.