![]() | ![]() |
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] |