Roland N. Bol
发表
Jan Friso Groote,
Roland N. Bol,
1991,
ICALP.
Roland N. Bol,
Lars Degerstedt,
R. Bol,
1993,
J. Log. Program..
Twan Basten,
Marc Voorhoeve,
Roland N. Bol,
1995,
IEEE Parallel & Distributed Technology: Systems & Applications.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1991,
Theor. Comput. Sci..
Roland N. Bol,
R. Bol,
1992,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Roland N. Bol,
1994,
ICTL.
Jan Friso Groote,
Roland N. Bol,
J. F. Groote,
1991,
JACM.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1989,
ICLP.
Roland N. Bol,
R. Bol,
1990,
NACLP.
Roland N. Bol,
R. Bol,
1993,
J. Log. Program..
Roland N. Bol,
1995
.
Jan Friso Groote,
Roland N. Bol,
Bezem,
1995
.
Roland N. Bol,
1993,
J. Log. Program..
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1990,
DISCO.
Krzysztof R. Apt,
Roland N. Bol,
K. Apt,
1994,
The Journal of Logic Programming.
Roland N. Bol,
Johan Blom,
Lars Kempe,
1995,
FIW.
Bengt Jonsson,
Roland N. Bol,
Johan Blom,
2007
.
Jan Friso Groote,
Marc Bezem,
Roland N. Bol,
2005,
Formal Aspects of Computing.
Roland N. Bol,
R. Bol,
1990,
J. Log. Program..
Roland N. Bol,
Lars Degerstedt,
1993,
ICLP.