|
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 | Boolean valued models and incomplete specifications |
Dahn, Bernd I. |
1992 |
12 | 3 |
p. 225-236 12 p. |
artikel |
|
| 2 | Introduction |
Lescanne, Pierre |
1992 |
12 | 3 |
p. 189- 1 p. |
artikel |
|
| 3 | Logic programming with functions and predicates: The language Babel |
Moreno-Navarro, Juan Jose |
1992 |
12 | 3 |
p. 191-223 33 p. |
artikel |
|
| 4 | Nondeterministic algebraic specifications and nonconfluent term rewriting |
Hussmann, Heinrich |
1992 |
12 | 3 |
p. 237-255 19 p. |
artikel |
|
| 5 | Programming with equalities, subsorts, overloading, and parametrization in OBJ |
Jouannaud, Jean-Pierre |
1992 |
12 | 3 |
p. 257-279 23 p. |
artikel |
|
| 6 | Rewrite rule systems for modal propositional logic |
Foret, Annie |
1992 |
12 | 3 |
p. 281-298 18 p. |
artikel |
6 gevonden resultaten