|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new look at the automatic synthesis of linear ranking functions |
Bagnara, Roberto |
2012 |
215 | C |
p. 47-67 21 p. |
artikel |
|
| 2 | Editorial Board |
2012 |
215 | C |
p. IFC- 1 p. |
artikel |
||
| 3 | Editorial Board |
2012 |
215 | C |
p. i- 1 p. |
artikel |
||
| 4 | Greenʼs theorem and isolation in planar graphs |
Tewari, Raghunath |
2012 |
215 | C |
p. 1-7 7 p. |
artikel |
|
| 5 | Multiset rewriting for the verification of depth-bounded processes with name binding |
Rosa-Velardo, Fernando |
2012 |
215 | C |
p. 68-87 20 p. |
artikel |
|
| 6 | Non-uniform cellular automata: Classes, dynamics, and decidability |
Dennunzio, Alberto |
2012 |
215 | C |
p. 32-46 15 p. |
artikel |
|
| 7 | On the complexity of entailment in existential conjunctive first-order logic with atomic negation |
Mugnier, Marie-Laure |
2012 |
215 | C |
p. 8-31 24 p. |
artikel |
7 gevonden resultaten