1997
Simulation as a correct transformation of rewrite systems
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Symposium on Mathematical Foundations of Computer Science | |
|
Fokkink, W., & van de Pol, J. (1997). Simulation as a correct transformation of rewrite systems. In Proceedings of the International Symposium on Mathematical Foundations of Computer Science 1997 (pp. 249–258). Springer. |
|