|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An SMT-based approach to satisfiability checking of MITL |
Bersani, Marcello M. |
2015 |
245 | C |
p. 72-97 26 p. |
artikel |
|
| 2 | Augmenting ATL with strategy contexts |
Laroussinie, François |
2015 |
245 | C |
p. 98-123 26 p. |
artikel |
|
| 3 | Deciding determinism of unary languages |
Lu, Ping |
2015 |
245 | C |
p. 181-196 16 p. |
artikel |
|
| 4 | Editorial Board |
2015 |
245 | C |
p. i- 1 p. |
artikel |
||
| 5 | Editorial Board |
2015 |
245 | C |
p. IFC- 1 p. |
artikel |
||
| 6 | Effective martingales with restricted wagers |
Peretz, Ron |
2015 |
245 | C |
p. 152-164 13 p. |
artikel |
|
| 7 | Effective subsets under homeomorphisms of R n |
Bosserhoff, Volker |
2015 |
245 | C |
p. 197-212 16 p. |
artikel |
|
| 8 | Games, Automata, Logics, and Formal Verification (GandALF 2013) |
Montanari, Angelo |
2015 |
245 | C |
p. 1-2 2 p. |
artikel |
|
| 9 | HRELTL: A temporal logic for hybrid systems |
Cimatti, Alessandro |
2015 |
245 | C |
p. 54-71 18 p. |
artikel |
|
| 10 | Profile trees for Büchi word automata, with application to determinization |
Fogarty, Seth |
2015 |
245 | C |
p. 136-151 16 p. |
artikel |
|
| 11 | Randomness for free |
Chatterjee, Krishnendu |
2015 |
245 | C |
p. 3-16 14 p. |
artikel |
|
| 12 | Recovery guarantees for exemplar-based clustering |
Nellore, Abhinav |
2015 |
245 | C |
p. 165-180 16 p. |
artikel |
|
| 13 | Simple strategies for Banach–Mazur games and sets of probability 1 |
Brihaye, Thomas |
2015 |
245 | C |
p. 17-35 19 p. |
artikel |
|
| 14 | The generative power of delegation networks |
Drewes, Frank |
2015 |
245 | C |
p. 213-258 46 p. |
artikel |
|
| 15 | The Rabin index of parity games: Its complexity and approximation |
Huth, Michael |
2015 |
245 | C |
p. 36-53 18 p. |
artikel |
|
| 16 | Upwards closed dependencies in team semantics |
Galliani, Pietro |
2015 |
245 | C |
p. 124-135 12 p. |
artikel |
16 gevonden resultaten