Grammatical Unification.
Jan MaluszynskiJørgen Fischer NilssonPublished in: Inf. Process. Lett. (1982)
Keyphrases
- higher order
- equational theories
- theorem proving
- grammar rules
- search engine
- theorem prover
- context free grammars
- spoken language
- automated theorem proving
- real time
- information extraction
- databases
- graph grammars
- information systems
- image processing
- expert systems
- hidden markov models
- information retrieval
- phrase structure