|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A change of name |
Meyer, Albert R. |
1987 |
72 | 1 |
p. iii- 1 p. |
artikel |
|
| 2 | A refinement of strong sequentiality for term rewriting with constructors |
Thatte, Satish |
1987 |
72 | 1 |
p. 46-65 20 p. |
artikel |
|
| 3 | A unifying theorem for algebraic semantics and dynamic logics |
Andréka, H. |
1987 |
72 | 1 |
p. 31-45 15 p. |
artikel |
|
| 4 | Editorial Board |
1987 |
72 | 1 |
p. I- 1 p. |
artikel |
||
| 5 | Preservation of expressive completeness in temporal models |
Amir, Amihood |
1987 |
72 | 1 |
p. 66-83 18 p. |
artikel |
|
| 6 | Universal profinite domains |
Gunter, Carl A. |
1987 |
72 | 1 |
p. 1-30 30 p. |
artikel |
6 gevonden resultaten