Items where Author is "Marti, Johannes"

Group by: Item Type | No Grouping
Number of items: 2.

PP-2016-10: Marti, Johannes and Pinosio, Riccardo (2016) A Game Semantics for System P. [Report]

MoL-2011-15: Marti, Johannes (2011) Relation Liftings in Coalgebraic Modal Logic. [Report]

This list was generated on Thu Dec 2 00:30:39 2021 CET.