1999 | ||
---|---|---|
3 | EE | Radboud Winkels, D. J. B. Bosscher, A. W. F. Boer, J. A. Breuker: Generating exception structures for legal information serving. ICAIL 1999: 182-189 |
1996 | ||
2 | D. J. B. Bosscher, W. O. David Griffioen: Regularity for a Large Class of Context-Free Processes is Decidable. ICALP 1996: 182-193 | |
1994 | ||
1 | D. J. B. Bosscher: Term Rewriting Properties of SOS Axiomatisations. TACS 1994: 425-439 |
1 | A. W. F. Boer | [3] |
2 | J. A. Breuker | [3] |
3 | W. O. David Griffioen | [2] |
4 | Radboud Winkels | [3] |