Research Output

Filter
Conference article
2019

Proper Multi-Type Display Calculi for Rough Algebras

Greco, G., Liang, F., Manoorkar, K. & Palmigiano, A., 2019, In : Electronic Notes in Theoretical Computer Science. 344, p. 101-118 18 p.

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
2 Citations (Scopus)
19 Downloads (Pure)
2016

Distributing responsibilities for safety from flooding

Doorn, N., Oct 2016, In : E3S Web of Conferences. 7, 24002.

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
2 Citations (Scopus)
41 Downloads (Pure)