|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Coq library for internal verification of running-times |
McCarthy, Jay |
2018 |
164 | C |
p. 49-65 |
artikel |
|
| 2 | A modular foreign function interface |
Yallop, Jeremy |
2018 |
164 | C |
p. 82-97 |
artikel |
|
| 3 | Boolean constraints in SWI-Prolog: A comprehensive system description |
Triska, Markus |
2018 |
164 | C |
p. 98-115 |
artikel |
|
| 4 | Editorial Board |
2018 |
164 | C |
p. ii |
artikel |
||
| 5 | Embedding the refinement calculus in Coq |
Alpuim, João |
2018 |
164 | C |
p. 37-48 |
artikel |
|
| 6 | Incremental computing with data structures |
Morihata, Akimasa |
2018 |
164 | C |
p. 18-36 |
artikel |
|
| 7 | Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project |
Ueda, Kazunori |
2018 |
164 | C |
p. 3-17 |
artikel |
|
| 8 | Preface |
Kiselyov, Oleg |
2018 |
164 | C |
p. 1-2 |
artikel |
|
| 9 | Space-efficient acyclicity constraints: A declarative pearl |
Brock-Nannestad, Taus |
2018 |
164 | C |
p. 66-81 |
artikel |
9 gevonden resultaten