| |
| 1999 | ||
|---|---|---|
| 6 | EE | 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] |