Travelled to:1 × Italy
Collaborated with:R.Wieringa W.d.Jonge
Talks about:subclass (1) approach (1) modal (1) logic (1) dynam (1) role (1)
Person: Paul Spruit
DBLP: Spruit:Paul
Contributed to:
1994Wrote 1 papers:
- ECOOP-1994-WieringaJS #approach #logic #subclass
- Roles and Dynamic Subclasses: A Modal Logic Approach (RW, WdJ, PS), pp. 32–59.