-
1Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings / Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /Texto bibliotecaCOLPOS
-
2Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings /Texto bibliotecaCOLPOS