

An edition of Term Rewriting and Applications (1899)
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science)
By Jürgen Giesl
Publish Date
December 31, 1899
Publisher
Springer
Language
eng
Pages
517
Description:
subjects: Rewriting systems (Computer science), Congresses