2006
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday
Publication
Publication
| Additional Metadata | |
|---|---|
| Springer | |
| J.M. Kokichi Futatsugi , not CWI et al | |
| Lecture Notes in Computer Science | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Klop, J. W., van Oostrom, V., & de Vrijer, R. (2006). Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday. In J. M. Kokichi Futatsugi & . not . CWI et al (Eds.), Lecture Notes in Computer Science. Springer. |
|