|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adding a path connectedness operator to FO+poly (linear) |
Giannella, Chris |
2002 |
38 | 9 |
p. 621-648 |
artikel |
|
| 2 | Bases for closed sets of implicants and implicates in temporal logic |
Cordero, P. |
2002 |
38 | 9 |
p. 599-619 |
artikel |
|
| 3 | Formal properties of XML grammars and languages |
Berstel, Jean |
2002 |
38 | 9 |
p. 649-671 |
artikel |
3 gevonden resultaten