Francis Capy

According to our database, Francis Capy authored at least 4 papers between 1987 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

The design and specification of the ASSPEGIQUE database.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

Asspegique: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the STACS 87, 1987

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the Conditional Term Rewriting Systems, 1987