Roland N. Bol

According to our database, Roland N. Bol authored at least 15 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Tabulated Resolution for the Well-Founded Semantics.

Roland N. Bol, Lars Degerstedt

J. Log. Program., 1998

1997

Formalizing Process Algebraic Verifications in the Calculus of Constructions.

Marc Bezem, Roland N. Bol, Jan Friso Groote

Formal Aspects Comput., 1997

1996

The Meaning of Negative Premises in Transition System Specifications.

Roland N. Bol, Jan Friso Groote

J. ACM, 1996

1995

Simulating and analyzing railway interlockings in ExSpect.

Twan Basten, Roland N. Bol, Marc Voorhoeve

IEEE Parallel Distributed Technol. Syst. Appl., 1995

Automatic Detection of Feature Interactions in Temporal Logic.

Johan Blom, Roland N. Bol, Lars Kempe

Proceedings of the Feature Interactions in Telecommunications III, 1995

1994

Logic Programming and Negation: A Survey.

Krzysztof R. Apt, Roland N. Bol

J. Log. Program., 1994

A Real Time Process Logic.

Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Loop checking in partial deduction.

Roland N. Bol

J. Log. Program., 1993

Loop Checking and Negation.

Roland N. Bol

J. Log. Program., 1993

The Underlying Search for Magic Templates and Tabulation.

Roland N. Bol, Lars Degerstedt

Proceedings of the Logic Programming, 1993

1992

Generalizing Completeness Results for Loop Checks in Logic Programming.

Roland N. Bol

Theor. Comput. Sci., 1992

1991

An Analysis of Loop Checking Mechanisms for Logic Programs.

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop

Theor. Comput. Sci., 1991

1990

Towards More Efficient Loop Checks.

Roland N. Bol

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

On the Power of Subsumption and Context Checks.

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989

On the Safe Termination of PROLOG Programs.

Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop

Proceedings of the Logic Programming, 1989