-
1Konferenční příspěvek KnihaVydáno 1997“…International Conference on Rewriting Techniques and Applications…”
-
2Konferenční příspěvek KnihaVydáno 1985“…International Conference on Rewriting Techniques and Applications…”
-
3Konferenční příspěvek KnihaVydáno 1987“…International Conference on Rewriting Techniques and Applications…”
-
4Konferenční příspěvekVydáno 1985“…International Conference on Rewriting Techniques and Applications…”
-
5Konferenční příspěvek KnihaVydáno 1993“…International Conference on Rewriting Techniques and Applications Montreal, Que.…”
-
6Konferenční příspěvek KnihaVydáno 1989“…International Conference on Rewriting Techniques and Applications Chapel Hill, N.C.…”