|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
2 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses |
Dunne, P.E. |
2001 |
47 | 1 |
p. 1-14 14 p. |
article |
|
| 2 | Variable binding operators in transition system specifications |
Middelburg, C.A. |
2001 |
47 | 1 |
p. 15-45 31 p. |
article |
2 results found