MPG.eBooks - Author Search Results

Cover Image

1

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

by Comon, Hubert
Published 1995

Springer

Cover Image

2

Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

by Comon, Hubert
Published 2001

Springer Berlin Heidelberg

Cover Image

3

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

by Comon, Hubert
Published 1997

Springer Berlin Heidelberg

Cover Image

4

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Comon, Hubert...”

Cover Image

5

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

by Berry, Gérard
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Comon, Hubert...”

Cover Image

6

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

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Comon, Hubert...”

Cover Image

7

Constraints in Computational Logics: Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Comon, Hubert...”

Cover Image

8

Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Comon, Hubert...”