Xiaohong Chen 0002, Horatiu Cheval, Dorel Lucanu, Grigore Rosu. $\mathbb {K}$ Definitions as Matching Logic Theories, Formally. In Nathalie Bertrand 0001, Stefan Milius, editors, Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16503 of Lecture Notes in Computer Science, pages 198-219, Springer, 2026. [doi]
Abstract is missing.