|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Corrigendum to “On the undecidability of implications between embedded multivalued database dependencies” [Inform. and Comput. 122 (1995) 221–235] |
Herrmann, Christian |
2006 |
204 | 12 |
p. 1847-1851 5 p. |
artikel |
|
| 2 | Editorial Board |
2006 |
204 | 12 |
p. CO2- 1 p. |
artikel |
||
| 3 | Editorial Board (continued) |
2006 |
204 | 12 |
p. i- 1 p. |
artikel |
||
| 4 | Eilenberg–Moore algebras for stochastic relations |
Doberkat, Ernst-Erich |
2006 |
204 | 12 |
p. 1756-1781 26 p. |
artikel |
|
| 5 | Erratum to “Automation for interactive proof: First prototype” [Inform. and Comput. 204 (2006) 1575–1596] |
Meng, Jia |
2006 |
204 | 12 |
p. 1852- 1 p. |
artikel |
|
| 6 | Proving termination of context-sensitive rewriting by transformation |
Lucas, Salvador |
2006 |
204 | 12 |
p. 1782-1846 65 p. |
artikel |
|
| 7 | Subword conditions and subword histories |
Salomaa, Arto |
2006 |
204 | 12 |
p. 1741-1755 15 p. |
artikel |
|
| 8 | Volume Author Index |
2006 |
204 | 12 |
p. 1853-1854 2 p. |
artikel |
8 gevonden resultaten