|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Complete inference systems for weak bisimulation equivalences in the π-calculus |
Lin, Huimin |
2003 |
180 | 1 |
p. 1-29 29 p. |
article |
|
| 2 | Editorial Board |
2003 |
180 | 1 |
p. IFC- 1 p. |
article |
||
| 3 | Editorial Board–continued |
2003 |
180 | 1 |
p. i- 1 p. |
article |
||
| 4 | Languages, D0L-systems, sets of curves, and surface automorphisms |
Lopez, Luis-Miguel |
2003 |
180 | 1 |
p. 30-52 23 p. |
article |
|
| 5 | Publisher’s Note |
2003 |
180 | 1 |
p. iii-iv nvt p. |
article |
||
| 6 | Variations on extending partially defined Boolean functions with missing bits |
Boros, Endre |
2003 |
180 | 1 |
p. 53-70 18 p. |
article |
6 results found