Alain Quéré

According to our database, Alain Quéré authored at least 6 papers between 1968 and 1994.

Collaborative distances:

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

1994

Transformation of generate and test logic programs.

Khaled Bsaïes, Francis Alexandre, Alain Quéré

Methods Log. Comput. Sci., 1994

1992

Spes: A System for Logic Program Transformation.

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

On Using Mode Input-output for Transforming Logic Programs.

Francis Alexandre, Khaled Bsaïes, Alain Quéré

Proceedings of the Logic Program Synthesis and Transformation, 1991

1988

SPES: un système de transformation de programmes logiques.

Francis Alexandre, Jean-Pierre Finance, Alain Quéré

Proceedings of the SPLT'88, 1988

1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy

Inf. Process. Lett., 1979

1968

Définition et Etude des Bilangages Réguliers

Claude Pair, Alain Quéré

Inf. Control., December, 1968