Authors: Olaf Owe

Citation: Olaf Owe, Partial logics reconsidered:a conservative approach, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 208-223

Authors: Olaf Owe

Citation: Olaf Owe, TICtial logics reconsidered:a conservative approach, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 208-223

Authors: Olaf Owe

Citation: Olaf Owe, Axiomatic treatment of processes with shared variables revisited, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 323-340