Anna-Lena Johansson

Publication Activity (10 Years)

Years Active: 1982-1999
Publications (10 Years): 0

Publications

Anna-Lena Johansson
The World Lecture Hall. J. Educ. Technol. Soc. 2 (1) (1999)
Anna-Lena Johansson
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. LOPSTR (1993)
Anna-Lena Johansson
Program Derivation and its Interactive Environment. SCAI (1993)
Agneta Eriksson, Anna-Lena Johansson
Neat Explanation of Proof Trees. IJCAI (1985)
Anna-Lena Johansson
Using Symmetry for the Derivation of Logic Programs. ICLP (1984)
Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund
Towards a Derivation Editor. ICLP (1982)