Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science (656), Band 656)

Conditional

von: Jean-Luc Remy · Michael Rusinowitch

Taschenbuch

ISBN-13: 978-3-540-56393-8

ISBN-10: 3-540-56393-8

Springer · 2008