Roland N. Bol

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1536546 (Why is no real title available?)	2000-11-28	Paper
scientific article; zbMATH DE number 1324649 (Why is no real title available?)	1999-08-18	Paper
Tabulated resolution for the well-founded semantics The Journal of Logic Programming	1998-11-05	Paper
The meaning of negative premises in transition system specifications Journal of the ACM	1998-01-22	Paper
The meaning of negative premises in transition system specifications Journal of the ACM	1998-01-22	Paper
Formalizing process algebraic verifications in the calculus of constructions Formal Aspects of Computing	1997-08-17	Paper
scientific article; zbMATH DE number 813263 (Why is no real title available?)	1995-11-07	Paper
scientific article; zbMATH DE number 549972 (Why is no real title available?)	1994-10-19	Paper
Logic programming and negation: A survey The Journal of Logic Programming	1994-10-13	Paper
Loop checking in partial deduction The Journal of Logic Programming	1994-02-06	Paper
scientific article; zbMATH DE number 176757 (Why is no real title available?)	1993-05-18	Paper
Loop checking and negation The Journal of Logic Programming	1993-05-16	Paper
Generalizing completeness results for loop checks in logic programming Theoretical Computer Science	1993-01-17	Paper
An analysis of loop checking mechanisms for logic programs Theoretical Computer Science	1992-06-26	Paper

Research outcomes over time

This page was built for person: Roland N. Bol