Algebraic logic and universal algebra in computer science : proceedings - Bergman C H; Conference on Algebraic Logic and Universal Algebra in Computer science( 1988 : Iowa ); Conference on Algebraic Logic and Universal Algebra in Computer science Iowa, 1988 (Berlin Springer Verlag, 1990)
Keywords: Algebraic logic; Computer science