 | 1992 |
|---|
| 5 |       | Francis Alexandre,
Khaled Bsaïes,
Jean-Pierre Finance,
Alain Quéré:
Spes: A System for Logic Program Transformation.
LPAR 1992: 445-447 |
| 1991 |
|---|
| 4 |  | Francis Alexandre,
Khaled Bsaïes,
Alain Quéré:
On Using Mode Input-output for Transforming Logic Programs.
LOPSTR 1991: 129-146 |
| 1988 |
|---|
| 3 | | Francis Alexandre,
Jean-Pierre Finance,
Alain Quéré:
SPES: un système de transformation de programmes logiques.
SPLT 1988: 69-84 |
| 1979 |
|---|
| 2 | | Manfred Broy,
Martin Wirsing,
Jean-Pierre Finance,
Alain Quéré,
Jean-Luc Remy:
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett. 8(5): 224-229 (1979) |
| 1968 |
|---|
| 1 | | C. Pair,
Alain Quéré:
Définition et Etude des Bilangages Réguliers
Information and Control 13(6): 565-593 (1968) |
