Computational Logic - Essays in Honor of Alan Robinson

Jean-Louis Lassez, Gordon D. Plotkin, editors, Computational Logic - Essays in Honor of Alan Robinson. The MIT Press, 1991.

Conference: BIRTHDAY1991

Abstract

Abstract is missing.