Skip to content

Agneta Eriksson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

1982–1985

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
1985IJCAINeat Explanation of Proof Trees.Agneta Eriksson, Anna-Lena Johansson
1982ICLPTowards a Derivation Editor.Agneta Eriksson, Anna-Lena Johansson, Sten-ke Trnlund