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. |
|