Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-030-38808-9_1 ◽

2020 ◽

pp. 3-18

Author(s):

Raul Fervari ◽

Francisco Trucco ◽

Beta Ziliani

Download Full-text