|
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 | An extended constraint deductive database: Theory and implementation |
Aranda-López, Gabriel |
2014 |
83 | 1 |
p. 20-52 33 p. |
artikel |
|
| 2 | Contents |
2014 |
83 | 1 |
p. iii- 1 p. |
artikel |
||
| 3 | Conversion to tail recursion in term rewriting |
Nishida, Naoki |
2014 |
83 | 1 |
p. 53-63 11 p. |
artikel |
|
| 4 | Editorial Board |
2014 |
83 | 1 |
p. IFC- 1 p. |
artikel |
||
| 5 | SOS rule formats for idempotent terms and idempotent unary operators |
Aceto, Luca |
2014 |
83 | 1 |
p. 64-80 17 p. |
artikel |
|
| 6 | Stuttering for Abstract Probabilistic Automata |
Delahaye, Benoît |
2014 |
83 | 1 |
p. 1-19 19 p. |
artikel |
6 gevonden resultaten