Generalizing completeness results for loop checks von Bol, Roland N.

kostenfrei

An analysis of loop checking mechanisms for logic programs von Bol, Roland N., Apt, Krzysztof R. 1949-, Klop, Jan Willem 1945-

Loop checking in partial deduction von Bol, Roland N.

Towards more efficient loop checks von Bol, Roland N.

kostenfrei

On the safe termination of PROLOG programs von Apt, Krzysztof R. 1949-, Bol, Roland N., Klop, Jan Willem 1945-

Loop checking in logic programming von Bol, Roland N.

Logic programming and negation a survey von Apt, Krzysztof R. 1949-, Bol, Roland N.

Loop checking in logic programming von Bol, Roland N.

Loop checking in partial deduction von Bol, Roland N.

Loop checking and negation von Bol, Roland N.

The meaning of negative premises in transition system specifications von Bol, Roland, Groote, Jan F.

kostenfrei

Loop checking and negation von Bol, Roland N.