- CSB - MetaPress - Google - Bing - Yahoo
 | 1994 | |
|---|---|---|
| j3 |      | Khaled Bsaïes, Francis Alexandre, Alain Quéré: Transformation of generate and test logic programs. Meth. of Logic in CS 1(3): 355-377 (1994) |
| 1992 | ||
| c3 |  | Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré: Spes: A System for Logic Program Transformation. LPAR 1992: 445-447 |
| 1991 | ||
| c2 | | Francis Alexandre, Khaled Bsaïes, Alain Quéré: On Using Mode Input-output for Transforming Logic Programs. LOPSTR 1991: 129-146 |
| 1988 | ||
| c1 | | Francis Alexandre, Jean-Pierre Finance, Alain Quéré: SPES: un système de transformation de programmes logiques. SPLT 1988: 69-84 |
| 1979 | ||
| j2 | | 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 | ||
| j1 | | C. Pair, Alain Quéré: Définition et Etude des Bilangages Réguliers. Information and Control 13(6): 565-593 (1968) |
| 1 | Francis Alexandre | |
| 2 | Manfred Broy | |
| 3 | Khaled Bsaïes | |
| 4 | Jean-Pierre Finance | |
| 5 | C. Pair | |
| 6 | Jean-Luc Remy | |
| 7 | Martin Wirsing |
Data released under the ODC-BY 1.0 license — See also our legal information page