More About the Author
Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.
Review and Comments
Rate the Book
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980 0 out of 5 stars based on 0 ratings.