Agneta Eriksson

According to our database, Agneta Eriksson authored at least 3 papers between 1982 and 1985.

Collaborative distances:

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

1985

Neat Explanation of Proof Trees.

Agneta Eriksson, Anna-Lena Johansson

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

1982

Computer-based synthesis of logic programs.

Agneta Eriksson

Proceedings of the International Symposium on Programming, 1982

Towards a Derivation Editor.

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

Proceedings of the First International Logic Programming Conference, 1982