Endocentric Constructions and the Cocke Parsing Logic.

Jane J. Robinson

Published in: COLING (1965)

Keyphrases

modal logic
logic programming
natural language
automated reasoning
logical framework
classical logic
asynchronous circuits
multi valued
formal theory
database
databases
pattern matching
defeasible logic
error recovery