Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Natalia Moangă"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 303, Iss Proc. FROM 2019, Pp 16-31 (2019)
Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, whic
Externí odkaz:
https://doaj.org/article/43173f457a144c60acc14bb2964720f6
