This page in English
SucheDeriving Focused Lattice Calculi
G. Struth
13th International Conference on Rewriting Techniques and Applications (RTA 2002).
pp. 83-97, Kopenhagen, Denmark, 2002.
In S. Tison (ed.): Rewriting Techniques and Applications, 13th International Conference, Lecture Notes in Computer Science 2378.
Springer-Verlag.
pp. 83-97, Kopenhagen, Denmark, 2002.
In S. Tison (ed.): Rewriting Techniques and Applications, 13th International Conference, Lecture Notes in Computer Science 2378.
Springer-Verlag.