Agneta Eriksson

Publication Activity (10 Years)

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

Publications

Agneta Eriksson, Anna-Lena Johansson
Neat Explanation of Proof Trees. IJCAI (1985)
Agneta Eriksson
Computer-based synthesis of logic programs. Symposium on Programming (1982)
Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund
Towards a Derivation Editor. ICLP (1982)