|
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 | Cardinality of relations and relational approximation algorithms |
Berghammer, Rudolf |
2016 |
85 | 2 |
p. 269-286 18 p. |
artikel |
|
| 2 | Contents |
2016 |
85 | 2 |
p. ii- 1 p. |
artikel |
||
| 3 | Editorial Board |
2016 |
85 | 2 |
p. IFC- 1 p. |
artikel |
||
| 4 | Incremental reasoning on monadic second-order logics with logic programming |
Unel, Gulay |
2016 |
85 | 2 |
p. 316-331 16 p. |
artikel |
|
| 5 | Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints |
ter Beek, Maurice H. |
2016 |
85 | 2 |
p. 287-315 29 p. |
artikel |
|
| 6 | PTL: A model transformation language based on logic programming |
Almendros-Jiménez, Jesús M. |
2016 |
85 | 2 |
p. 332-366 35 p. |
artikel |
6 gevonden resultaten