Wyniki
-
A Note on Bisimulations of Finite Kripke Models
Małgorzata Kruszelnicka
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 185-198
Małgorzata Kruszelnicka
Bulletin of the Section of Logic
, 41
/3-4
(2012)
s. 185-198