|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index volume 149 (1995)nce |
1995 |
149 | 2 |
p. 375-376 2 p. |
artikel |
||
| 2 | Contributions to the stable model semantics of logic programs with negation |
Costantini, Stefania |
1995 |
149 | 2 |
p. 231-255 25 p. |
artikel |
|
| 3 | Embedding a demonic semilattice in a relation algebra |
Desharnais, Jules |
1995 |
149 | 2 |
p. 333-360 28 p. |
artikel |
|
| 4 | Fully abstract compositional semantics for an algebra of logic programs |
Brogi, Antonio |
1995 |
149 | 2 |
p. 201-229 29 p. |
artikel |
|
| 5 | Location equivalence in a parametric setting |
Montanari, Ugo |
1995 |
149 | 2 |
p. 299-332 34 p. |
artikel |
|
| 6 | Modular termination of r-consistent and left-linear term rewriting systems |
Schmidt-Schauß, Manfred |
1995 |
149 | 2 |
p. 361-374 14 p. |
artikel |
|
| 7 | On interprocess communication and the implementation of multi-writer atomic registers |
Abraham, Uri |
1995 |
149 | 2 |
p. 257-298 42 p. |
artikel |
7 gevonden resultaten