BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Hungary
1 × Spain
1 × USA
Collaborated with:
L.Degerstedt J.F.Groote
Talks about:
tabul (2) transit (1) templat (1) resolut (1) toward (1) system (1) specif (1) semant (1) search (1) premis (1)

Person: Roland N. Bol

DBLP DBLP: Bol:Roland_N=

Contributed to:

ICLP 19931993
ILPS 19931993
ICALP 19911991
NACLP 19901990

Wrote 4 papers:

ICLP-1993-BolD
The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.
ILPS-1993-BolD #semantics
Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.
ICALP-1991-BolG #specification
The Meaning of Negative Premises in Transition System Specifications (RNB, JFG), pp. 481–494.
NACLP-1990-Bol #performance #towards
Towards More Efficient Loop Checks (RNB), pp. 465–479.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.