|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An axiomatization of the algebra of Petri net concatenable processes |
Sassone, Vladimiro |
1996 |
170 | 1-2 |
p. 277-296 20 p. |
artikel |
|
| 2 | Author index volume 170 (1996) |
1996 |
170 | 1-2 |
p. 465- 1 p. |
artikel |
||
| 3 | Confluence for process verification |
Groote, J.F. |
1996 |
170 | 1-2 |
p. 47-81 35 p. |
artikel |
|
| 4 | Deciding bisimulation and trace equivalences for systems with many identical processes |
Yen, Hsu-Chun |
1996 |
170 | 1-2 |
p. 445-464 20 p. |
artikel |
|
| 5 | Editorial board |
1996 |
170 | 1-2 |
p. FM3-FM6 nvt p. |
artikel |
||
| 6 | Elements of generalized ultrametric domain theory |
Rutten, J.J.M.M. |
1996 |
170 | 1-2 |
p. 349-381 33 p. |
artikel |
|
| 7 | Filter models for conjunctive-disjunctive λ-calculi |
Dezani-Ciancaglini, Mariangiola |
1996 |
170 | 1-2 |
p. 83-128 46 p. |
artikel |
|
| 8 | Graph theoretical structures in logic programs and default theories |
Dimopoulos, Yannis |
1996 |
170 | 1-2 |
p. 209-244 36 p. |
artikel |
|
| 9 | Intersection type assignment systems with higher-order algebraic rewriting |
Barbanera, Franco |
1996 |
170 | 1-2 |
p. 173-207 35 p. |
artikel |
|
| 10 | Interval logics and their decision procedures |
Ramakrishna, Y.S. |
1996 |
170 | 1-2 |
p. 1-46 46 p. |
artikel |
|
| 11 | Iterative belief revision in extended logic programming |
You, Jia-Huai |
1996 |
170 | 1-2 |
p. 383-406 24 p. |
artikel |
|
| 12 | Master index volumes 161–170 |
1996 |
170 | 1-2 |
p. 467-473 7 p. |
artikel |
||
| 13 | Metric completion versus ideal completion |
Majster-Cederbaum, Mila E. |
1996 |
170 | 1-2 |
p. 145-171 27 p. |
artikel |
|
| 14 | Models for concurrency: towards a classification |
Sassone, Vladimiro |
1996 |
170 | 1-2 |
p. 297-348 52 p. |
artikel |
|
| 15 | Towards a proof theory of rewriting: the simply typed 2λ-calculus |
Hilken, Barnaby P. |
1996 |
170 | 1-2 |
p. 407-444 38 p. |
artikel |
|
| 16 | Tractability of cut-free Gentzen type propositional calculus with permutation inference |
Arai, Noriko H. |
1996 |
170 | 1-2 |
p. 129-144 16 p. |
artikel |
|
| 17 | Using induction and rewriting to verify and complete parameterized specifications |
Bouhoula, Adel |
1996 |
170 | 1-2 |
p. 245-276 32 p. |
artikel |
17 gevonden resultaten