OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Free University of Bozen-Bolzano - UNIBZ (ITALY)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 1.

Boudou, Joseph and Herzig, Andreas and Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (2019) In: International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), 9 October 2019 - 9 October 2019 (Porto, Portugal).

This list was generated on Thu Sep 23 17:22:38 2021 CEST.