Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course by

Lecture Notes in Computer Science

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

228 pages paperback

1 edition

nonfiction computer science mathematics medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewritin...

Show More

Community Reviews

Loading...

Content Warnings

Loading...