Reduktionssystem

Subject

Browse all works related to Reduktionssystem.

"14" Result
Sort By:
Term rewriting and applications

Term rewriting and applications: 16th international conference, RTA 2005, Nara, Ja…

by International Conference on Rewriting Techniques and Applications, Nara-ken, Japan), Giesl, Jürgen

fromLecture Notes in Computer Science

0 Type: Book

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005), whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the p…