Roland N. Bol

	1998
18		Roland N. Bol, Lars Degerstedt: Tabulated Resolution for the Well-Founded Semantics. J. Log. Program. 34(2): 67-109 (1998)
	1997
17		Marc Bezem, Roland N. Bol, Jan Friso Groote: Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Asp. Comput. 9(1): 1-48 (1997)
	1996
16		Roland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. J. ACM 43(5): 863-914 (1996)
	1995
15		Johan Blom, Roland N. Bol, Lars Kempe: Automatic Detection of Feature Interactions in Temporal Logic. FIW 1995: 1-19
	1994
14		Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol: A Real Time Process Logic. ICTL 1994: 30-47
13		Krzysztof R. Apt, Roland N. Bol: Logic Programming and Negation: A Survey. J. Log. Program. 19/20: 9-71 (1994)
	1993
12		Roland N. Bol, Lars Degerstedt: The Underlying Search for Magic Templates and Tabulation. ICLP 1993: 793-811
11		Roland N. Bol, Lars Degerstedt: Tabulated Resolution for Well Founded Semantics. ILPS 1993: 199-219
10		Roland N. Bol: Loop Checking and Negation. J. Log. Program. 15(1&2): 147-175 (1993)
9		Roland N. Bol: Loop checking in partial deduction. J. Log. Program. 16(1): 25-46 (1993)
	1992
8		Roland N. Bol: Generalizing Completeness Results for Loop Checks in Logic Programming. Theor. Comput. Sci. 104(1): 3-28 (1992)
	1991
7		Roland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. ICALP 1991: 481-494
6		Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: An Analysis of Loop Checking Mechanisms for Logic Programs. Theor. Comput. Sci. 86(1): 35-79 (1991)
	1990
5		Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: On the Power of Subsumption and Context Checks. DISCO 1990: 131-140
4		Roland N. Bol: Loop Checking and Negation. JELIA 1990: 121-138
3		Roland N. Bol, Jan Friso Groote: The meaning of Negative Premises in Transition System Specifications. LPNMR 1990: 2-9
2		Roland N. Bol: Towards More Efficient Loop Checks. NACLP 1990: 465-479
	1989
1		Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop: On the Safe Termination of PROLOG Programs. ICLP 1989: 353-368

Coauthor Index

1	Krzysztof R. Apt	[1] [5] [6] [13]
2	Jos C. M. Baeten	[14]
3	Jan A. Bergstra	[14]
4	Marc Bezem	[17]
5	Johan Blom	[15]
6	Lars Degerstedt	[11] [12] [18]
7	Jan Friso Groote	[3] [7] [16] [17]
8	Lars Kempe	[15]
9	Jan Willem Klop	[1] [5] [6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page