You are about to access our book library "Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings (Lecture Notes in Computer Science Book 13137) full version" .