MPG.eBooks - Author Search Results

Cover Image

1

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

by Narendran, Paliath
Published 1999

Springer-Verlag Berlin Heidelberg

Other Authors: “...Rusinowitch, Michael...”

Cover Image

2

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

by Basin, David
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Rusinowitch, Michael...”

Cover Image

3

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings

by Rémy, Jean-Luc
Published 1993

Springer

Other Authors: “...Rusinowitch, Michaël...”

Cover Image

4

Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Rusinowitch, Michael...”

Cover Image

5

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Rusinowitch, Michael...”

Cover Image

6

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Rusinowitch, Michael...”