Roland N. Bol

19 papers A* 1B 4Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
1998 J jnl
Tabulated Resolution for the Well-Founded Semantics.
J. Log. Program.
Roland N. Bol, Lars Degerstedt
1997 J jnl
Formalizing Process Algebraic Verifications in the Calculus of Constructions.
Formal Aspects Comput.
Marc Bezem, Roland N. Bol, Jan Friso Groote
1996 J jnl
The Meaning of Negative Premises in Transition System Specifications.
J. ACM
Roland N. Bol, Jan Friso Groote
1995 — conf
Automatic Detection of Feature Interactions in Temporal Logic.
FIW
Johan Blom, Roland N. Bol, Lars Kempe
1995 J jnl
Simulating and analyzing railway interlockings in ExSpect.
IEEE Parallel Distributed Technol. Syst. Appl.
Twan Basten, Roland N. Bol, Marc Voorhoeve
1994 — conf
A Real Time Process Logic.
ICTL
Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol
1994 J jnl
Logic Programming and Negation: A Survey.
J. Log. Program.
Krzysztof R. Apt, Roland N. Bol
1993 J jnl
Loop Checking and Negation.
J. Log. Program.
Roland N. Bol
1993 J jnl
Loop checking in partial deduction.
J. Log. Program.
Roland N. Bol
1993 — conf
Tabulated Resolution for Well Founded Semantics.
ILPS
Roland N. Bol, Lars Degerstedt
1993 B conf
The Underlying Search for Magic Templates and Tabulation.
ICLP
Roland N. Bol, Lars Degerstedt
1992 J jnl
Generalizing Completeness Results for Loop Checks in Logic Programming.
Theor. Comput. Sci.
Roland N. Bol
1991 J jnl
An Analysis of Loop Checking Mechanisms for Logic Programs.
Theor. Comput. Sci.
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
1991 A* conf
The Meaning of Negative Premises in Transition System Specifications.
ICALP
Roland N. Bol, Jan Friso Groote
1990 B conf
Loop Checking and Negation.
JELIA
Roland N. Bol
1990 — conf
On the Power of Subsumption and Context Checks.
DISCO
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
1990 B conf
The meaning of Negative Premises in Transition System Specifications.
LPNMR
Roland N. Bol, Jan Friso Groote
1990 — conf
Towards More Efficient Loop Checks.
NACLP
Roland N. Bol
1989 B conf
On the Safe Termination of PROLOG Programs.
ICLP
Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop