dblp.uni-trier.dewww.uni-trier.de

Anna-Lena Johansson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
6EEAnna-Lena Johansson: The World Lecture Hall. Educational Technology & Society 2(1): (1999)
1993
5 Anna-Lena Johansson: Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. LOPSTR 1993: 100-112
4 Anna-Lena Johansson: Program Derivation and its Interactive Environment. SCAI 1993: 97-110
1985
3 Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. IJCAI 1985: 379-381
1984
2 Anna-Lena Johansson: Using Symmetry for the Derivation of Logic Programs. ICLP 1984: 243-251
1982
1 Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. ICLP 1982: 146-151

Coauthor Index

1Agneta Eriksson [1] [3]
2Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)