Rewriting Logic and Its Applications
Kyungmin Bae
Rewriting Logic and Its Applications - 1st ed. 2022 - Springer 2022 - Lecture Notes in Computer Science .
9783031124419
Computer Science
Computer Science Logic and Foundations of Programming
Rewriting Logic and Its Applications - 1st ed. 2022 - Springer 2022 - Lecture Notes in Computer Science .
9783031124419
Computer Science
Computer Science Logic and Foundations of Programming