Agneta Eriksson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1985

3 Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. IJCAI 1985: 379-381

1982

2 Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. ICLP 1982: 146-151

1 Agneta Eriksson: Computer-based synthesis of logic programs. Symposium on Programming 1982: 105-115

	1985
3		Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. IJCAI 1985: 379-381
	1982
2		Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. ICLP 1982: 146-151
1		Agneta Eriksson: Computer-based synthesis of logic programs. Symposium on Programming 1982: 105-115

Coauthor Index

1 Anna-Lena Johansson [2] [3]

2 Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [2]

1	Anna-Lena Johansson	[2] [3]
2	Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund)	[2]