[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 10669 || Layered Logics, Coalgebraically
Madeira, Alexandre, Benevides, MárioVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-73579-5_4
File:
PDF, 307 KB
english, 2018