|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algebraic approach to semantics of programming languages |
Lastovetsky, Alexey L. |
1994 |
135 | 2 |
p. 267-288 22 p. |
artikel |
|
| 2 | Author index volume 135 (1994) |
1994 |
135 | 2 |
p. 433- 1 p. |
artikel |
||
| 3 | Automatizing termination proofs of recursively defined functions |
Manoury, Pascal |
1994 |
135 | 2 |
p. 319-343 25 p. |
artikel |
|
| 4 | Combinatory abstraction using B, B′ and friends |
Trigg, Peter |
1994 |
135 | 2 |
p. 405-422 18 p. |
artikel |
|
| 5 | Denotational semantics in the cpo and metric approach |
Baier, Christel |
1994 |
135 | 2 |
p. 171-220 50 p. |
artikel |
|
| 6 | Fair Petri nets and structural induction for rings of processes |
Li, Jianan |
1994 |
135 | 2 |
p. 377-404 28 p. |
artikel |
|
| 7 | Functorial theory of a parameterized specifications in a general specification framework |
Ehrig, Hartmut |
1994 |
135 | 2 |
p. 221-266 46 p. |
artikel |
|
| 8 | Labelled domains and automata with concurrency |
Bracho, Felipe |
1994 |
135 | 2 |
p. 289-318 30 p. |
artikel |
|
| 9 | Some complexity results on transition systems and elementary net systems |
Hiraishi, Kunihiko |
1994 |
135 | 2 |
p. 361-376 16 p. |
artikel |
|
| 10 | The Inf function in the system F |
David, R. |
1994 |
135 | 2 |
p. 423-431 9 p. |
artikel |
|
| 11 | Weights for total division orderings on strings |
Scott, E.A. |
1994 |
135 | 2 |
p. 345-359 15 p. |
artikel |
11 gevonden resultaten