Publicações

Kantorovich Functors and Characteristic Logics for Behavioural Distances

AuthID
P-00Y-J4Q

Author(s)

Goncharov, S

Hofmann, D

Nora, P

Schröder, L

Wild, P

Editor(s)

Kupferman Sobocinski,OP

Document Type

Proceedings Paper

Year published

2023

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 13992 LNCS, Pages: 46-67

Conference

26Th International Conference on Foundations of Software Science and Computational Structures, Fossacs 2023, Held as Part of the 26Th European Joint Conferences on Theory and Practice of Software, Etaps 2023, Date: 22 April 2023 through 27 April 2023

Indexing