Computing Surveys (CSUR)


Search Issue
enter search term and/or author name below:


ACM Computing Surveys (CSUR), Volume 21 Issue 1, March 1989

Human-computer interface development: concepts and systems for its management
H. Rex Hartson, Deborah Hix
Pages: 5-92
DOI: 10.1145/62029.62031
Human-computer interface management, from a computer science viewpoint, focuses on the process of developing quality human-computer interfaces, including their representation, design, implementation, execution, evaluation, and...

Unification: a multidisciplinary survey
Kevin Knight
Pages: 93-124
DOI: 10.1145/62029.62030
The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed; these areas include theorem proving, logic...