Assen Petkov
articles X
1 Publications
Propositional dynamic logic in two- and more dimensions
1987
in: Mathematical logic and its applications, Berlin,
1 Publications
1 Publications
in: Mathematical logic and its applications, Berlin,
1 Publications