Restricting Logic Grammars with Government-Binding Theory.
Edward P. Stabler Jr.Published in: Comput. Linguistics (1987)
Keyphrases
- formal theory
- set theory
- asynchronous circuits
- proof theoretic
- theoretical framework
- e government
- logic programming
- computer algebra
- proof theory
- multi valued
- classical logic
- visual languages
- deductive reasoning
- commonsense reasoning
- predicate logic
- natural language
- digital government
- united states
- computational model
- information technology
- public sector
- probability theory
- boolean algebra