|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A calculus for orchestration of web services |
Pugliese, Rosario |
2012 |
10 | 1 |
p. 2-31 30 p. |
article |
|
| 2 | A modal type theory for formalizing trusted communications |
Primiero, Giuseppe |
2012 |
10 | 1 |
p. 92-114 23 p. |
article |
|
| 3 | A note on two of Hrushovskiʼs constructions |
Pastori, Elisabetta |
2012 |
10 | 1 |
p. 85-91 7 p. |
article |
|
| 4 | Editorial Board |
2012 |
10 | 1 |
p. iii-vi nvt p. |
article |
||
| 5 | Eradication |
Hansson, Sven Ove |
2012 |
10 | 1 |
p. 75-84 10 p. |
article |
|
| 6 | Locality and modular Ehrenfeucht–Fraïssé games |
Blumensath, Achim |
2012 |
10 | 1 |
p. 144-162 19 p. |
article |
|
| 7 | Quantum-like logics and schizophrenia |
Selesnick, S.A. |
2012 |
10 | 1 |
p. 115-126 12 p. |
article |
|
| 8 | Special issue on Automated Specification and Verification of Web Systems |
Kovács, Laura |
2012 |
10 | 1 |
p. 1- 1 p. |
article |
|
| 9 | Sufficient completeness verification for conditional and constrained TRS |
Bouhoula, Adel |
2012 |
10 | 1 |
p. 127-143 17 p. |
article |
|
| 10 | The Ackermann approach for modal logic, correspondence theory and second-order reduction |
Schmidt, Renate A. |
2012 |
10 | 1 |
p. 52-74 23 p. |
article |
|
| 11 | Translating regular expression matching into transducers |
Sakuma, Yuto |
2012 |
10 | 1 |
p. 32-51 20 p. |
article |
11 results found