Personensuche
X
?
Proceedings of the XXVI Brazilian Symposium on Programming Languages ,
7
A Sound Deep Embedding of Arbitrary Normal Modal Logics in ..:
, In:
?
Proceedings of the 21st Congress of the International Ergonomics Association (IEA 2021); Lecture Notes in Networks and Systems ,
15