Keyphrases
- grammatical inference
- formal language
- mildly context sensitive
- context free grammars
- grammar induction
- context free
- context free languages
- higher order
- finite state automata
- expressive power
- language independent
- databases
- closure properties
- highly expressive
- formal languages
- multi valued
- logic programming
- natural language
- high order
- regular languages
- asynchronous circuits
- data model
- language processing
- cross lingual
- pairwise
- modal logic
- predicate logic
- proof theory
- defeasible logic
- programs written
- classical logic
- context dependent