Roland N. Bol

Available identifiers

zbMath Open bol.roland-nMaRDI QIDQ1177922

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4518413	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4255547	1999-08-18	Paper
Tabulated resolution for the well-founded semantics	1998-11-05	Paper
The meaning of negative premises in transition system specifications	1998-01-22	Paper
Formalizing process algebraic verifications in the calculus of constructions	1997-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4854006	1995-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4287491	1994-10-19	Paper
Logic programming and negation: A survey	1994-10-13	Paper
Loop checking in partial deduction	1994-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4036587	1993-05-18	Paper
Loop checking and negation	1993-05-16	Paper
Generalizing completeness results for loop checks in logic programming	1993-01-17	Paper
An analysis of loop checking mechanisms for logic programs	1992-06-26	Paper

Research outcomes over time

This page was built for person: Roland N. Bol