MPG.eBooks - Search Results - monomorphic

Search alternatives:
monomorphic » holomorphic , homomorphic , meromorphic

Cover Image

1

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... lattice theory in higher order logic -- Formal verification of algorithm W: The monomorphic case...”