Algebra, combinatorics and logic in computer science
Subtitle: [held in Györ, Hungary between September 12-16, 1983]
By: edited by J. Demetrovics, G. Katona, A. Salomaa.
Contributors: Demetrovics, János.; Katona, George, 1901-; Salomaa, Arto.
Series: Colloquia mathematica Societatis János Bolyai -- 42
Publisher: North Holland
Published: 1986
Place of publication: Amsterdam; New York
Language: eng
Subjects: Algebra, Boolean.; Logic, Symbolic and mathematical.; Computer programs -- Correctness.; Combinatory logic.
Notes: Includes bibliographies.