by
Pfenning, Frank. editor.
Format:
Excerpt:
Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August
by
Logofatu, Doina. author.
Format:
Excerpt:
Applications of Mathematics.
by
Giesl, Jürgen. editor.
Format:
Excerpt:
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21
Select an Action