MPG.eBooks - Author Search Results

Cover Image

1

Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

by Kirchner, Hélène
Published 1992

Springer

Cover Image

2

Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings

by Kirchner, Hélène
Published 1990

Springer

Cover Image

3

Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

by Kirchner, Hélène
Published 1996

Springer

Cover Image

4

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

by Kirchner, Hélène
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

by Kirchner, Helene
Published 2000

Springer Berlin Heidelberg

Cover Image

6

Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

7

Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

by Kirchner, Claude
Published 1998

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

8

Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

9

Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

10

Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

11

Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Published 1990

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

12

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Helene...”

Cover Image

13

Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Kirchner, Hélène...”