Alain Quéré

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1994
Transformation of generate and test logic programs.
Meth. of Logic in CS, 1994

1992
Spes: A System for Logic Program Transformation.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
On Using Mode Input-output for Transforming Logic Programs.
Proceedings of the Logic Program Synthesis and Transformation, 1991

1988
SPES: un système de transformation de programmes logiques.
Proceedings of the SPLT'88, 1988

1979
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett., 1979

1968
Définition et Etude des Bilangages Réguliers
Information and Control, December, 1968


  Loading...