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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roland N. Bol