Roland N. Bol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1989–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ICLP | The Underlying Search for Magic Templates and Tabulation. | Roland N. Bol, Lars Degerstedt |
| 1991 | ICALP | The Meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |
| 1990 | JELIA | Loop Checking and Negation. | Roland N. Bol |
| 1990 | LPNMR | The meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |
| 1989 | ICLP | On the Safe Termination of PROLOG Programs. | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |