|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Distributed synthesis for regular and contextfree specifications |
Fridman, Wladimir |
2014 |
3-4 |
p. 221-260 |
artikel |
||
| 2 | Editorial: special issue on synthesis |
Peled, Doron |
2014 |
3-4 |
p. 127-128 |
artikel |
||
| 3 | Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞ |
Bulychev, Peter |
2013 |
3-4 |
p. 165-192 |
artikel |
||
| 4 | Improved matrix pair undecidability results |
Halava, Vesa |
2007 |
3-4 |
p. 191-205 |
artikel |
||
| 5 | On the equivalence between FDs in XML and FDs in relations |
Vincent, Millist W. |
2007 |
3-4 |
p. 207-247 |
artikel |
||
| 6 | Recursive descent parsing for Boolean grammars |
Okhotin, Alexander |
2007 |
3-4 |
p. 167-189 |
artikel |
||
| 7 | Strategy synthesis for multi-dimensional quantitative objectives |
Chatterjee, Krishnendu |
2013 |
3-4 |
p. 129-163 |
artikel |
||
| 8 | Synthesizing robust systems |
Bloem, Roderick |
2013 |
3-4 |
p. 193-220 |
artikel |
||
| 9 | The syntactic monoid of hairpin-free languages |
Kari, Lila |
2007 |
3-4 |
p. 153-166 |
artikel |
||
| 10 | Well-structured languages |
Geeraerts, Gilles |
2007 |
3-4 |
p. 249-288 |
artikel |
10 gevonden resultaten