Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys
Citations:113 - 1 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
977 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
985 A theory of type polymorphism in programming – Robin Milner - 1978
1353 Monads for functional programming – Philip Wadler - 1995
550 Lexical-Functional Grammar: A Formal System for Grammatical Representation – Ronald M. Kaplan, Joan Bresnan - 1995
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1360 Head-Driven Phrase Structure Grammar – Carl Pollard, Ivan Sag - 1994
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
485 A note on inductive generalization – G Plotkin - 1970