| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 6 |      | Anna-Lena Johansson: The World Lecture Hall. Educational Technology & Society 2(1): (1999) |
| 1993 | ||
| 5 |  | Anna-Lena Johansson: Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. LOPSTR 1993: 100-112 |
| 4 | | Anna-Lena Johansson: Program Derivation and its Interactive Environment. SCAI 1993: 97-110 |
| 1985 | ||
| 3 | | Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. IJCAI 1985: 379-381 |
| 1984 | ||
| 2 | | Anna-Lena Johansson: Using Symmetry for the Derivation of Logic Programs. ICLP 1984: 243-251 |
| 1982 | ||
| 1 | | Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. ICLP 1982: 146-151 |
| 1 | Agneta Eriksson | [1] [3] |
| 2 | Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page