|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A new look at the automatic synthesis of linear ranking functions |
Bagnara, Roberto |
2012 |
215 | C |
p. 47-67 21 p. |
article |
|
| 2 | Editorial Board |
2012 |
215 | C |
p. IFC- 1 p. |
article |
||
| 3 | Editorial Board |
2012 |
215 | C |
p. i- 1 p. |
article |
||
| 4 | Greenʼs theorem and isolation in planar graphs |
Tewari, Raghunath |
2012 |
215 | C |
p. 1-7 7 p. |
article |
|
| 5 | Multiset rewriting for the verification of depth-bounded processes with name binding |
Rosa-Velardo, Fernando |
2012 |
215 | C |
p. 68-87 20 p. |
article |
|
| 6 | Non-uniform cellular automata: Classes, dynamics, and decidability |
Dennunzio, Alberto |
2012 |
215 | C |
p. 32-46 15 p. |
article |
|
| 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. |
article |
7 results found