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: Bol:Roland_N=
Contributed to:
19931993
19911990Wrote 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.