Towards a Proof System for Probabilistic Dynamic Logic

Einar Broch Johnsen, Eduard Kamburjan, Raul Pardo, Erik Voogd, Andrzej Wąsowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards a Proof System for Probabilistic Dynamic Logic'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science