Anna-Lena Johansson

According to our database, Anna-Lena Johansson authored at least 6 papers between 1982 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

The World Lecture Hall.

Anna-Lena Johansson

J. Educ. Technol. Soc., 1999

1993

Program Derivation and its Interactive Environment.

Anna-Lena Johansson

Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993

Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.

Anna-Lena Johansson

Proceedings of the Logic Program Synthesis and Transformation, 1993

1985

Neat Explanation of Proof Trees.

Agneta Eriksson, Anna-Lena Johansson

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Using Symmetry for the Derivation of Logic Programs.

Anna-Lena Johansson

Proceedings of the Second International Logic Programming Conference, 1984

1982

Towards a Derivation Editor.

Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund

Proceedings of the First International Logic Programming Conference, 1982