Publications

Export 1 results:
Filters: Author is Robert Rodosek  [Clear All Filters]
1995
Heinle, W., Schlingloff, B.-H.: Relational semantics for modal logics. In: Rodosek, R. Proceedings of Verification in New Orientations. pp. 104-131. University of Maribor (1995).