Nr. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures

Publiceret: 1987-01-01