2014
Combining Bialgebraic Semantics and Equations
Publication
Publication
Lecture Notes in Computer Science , Volume 8412 p. 381- 395
Presented at the
Conference on Foundations of Software Science and Computation Structures
Additional Metadata | |
---|---|
Springer | |
A. Muscholl | |
Lecture Notes in Computer Science | |
Conference on Foundations of Software Science and Computation Structures | |
Organisation | Computer Security |
Rot, J., & Bonsangue, M. (2014). Combining Bialgebraic Semantics and Equations. In A. Muscholl (Ed.), Lecture Notes in Computer Science (Vol. 8412, pp. 381–395). Springer. |