Statistics
Publications
1
Citations
13
H-Index
1
Active since
1985
Affiliations
Uppsala University(Current)
Anna-Lena Johansson is an author at Uppsala University specializing in deductive systems, derivation trees, and automated reasoning.
Publications per year
1985–1985
1
1
1–1 of 1