Items where Author is "Marti, Johannes"

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

Report

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 Wed Oct 27 00:30:36 2021 CEST.