Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Karl A. Olsson

"Karl A. Olsson" appeared in Books and Chapters

Showing 1 to 5 of 5 entries
ChapterAuthor(s)BookBook AuthorsYearPublisher
Paul Carlson. . . student
Karl A. Olsson
There was a man: his name, Paul Carlson
Carl Philip Anderson
1965
Revell
Paul Peter Waldenström and Augustana
by Karl A. Olsson
The Swedish immigrant community in transition: essays in honor of Dr. Conrad Bergendoff /
Dowie, James Iverne,; Espelie, Ernest M.
1963.
Augustana Historical Society,
A hierarchical method for reasoning about distributed programming languages
Cui Zhang; Brian R. Becker; Mark R. Heckman; Karl Levitt; Ron A. Olsson
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
E. Thomas Schubert; Phillip J. Windley; James Alves-Foss
1995
Springer Berlin Heidelberg
Mechanizing a programming logic for the concurrent programming language microSR in HOL
Cui Zhang; Rob Shaw; Ronald A. Olsson; Karl Levitt; Myla Archer; Mark R. Heckman et al.
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ' 93, Vancouver, B. C. , Canada, August 11-13, 1993. Proceedings
Jeffrey J. Joyce; Carl-Johan H. Seger
1994
Springer Berlin Heidelberg
Towards applying the composition principle to verify a microkernel operating system
Mark R. Heckman; Cui Zhang; Brian R. Becker; Dave Peticolas; Karl N. Levitt; Ron A. Olsson
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs' 96, Turku, Finland, August 26 - 30, 1996, Proceedings
Joakim von Wright; Jim Grundy; John Harrison
1996
Springer Berlin Heidelberg
ChapterAuthor(s)BookBook AuthorsYearPublisher
Showing 1 to 5 of 5 entries