Alain Quéré

Publication Activity (10 Years)

Years Active: 1968-1994
Publications (10 Years): 0

Publications

Khaled Bsaïes, Francis Alexandre, Alain Quéré
Transformation of generate and test logic programs. Methods Log. Comput. Sci. 1 (3) (1994)
Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
Spes: A System for Logic Program Transformation. LPAR (1992)
Francis Alexandre, Khaled Bsaïes, Alain Quéré
On Using Mode Input-output for Transforming Logic Programs. LOPSTR (1991)
Francis Alexandre, Jean-Pierre Finance, Alain Quéré
SPES: un système de transformation de programmes logiques. SPLT (1988)
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8 (5) (1979)
Claude Pair, Alain Quéré
Définition et Etude des Bilangages Réguliers Inf. Control. 13 (6) (1968)