A Proof on Simon's Theorem on Piecewise Testable Languages.
Peter M. HigginsPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- interactive theorem proving
- expressive power
- theorem proving
- multi lingual
- databases
- theorem prover
- language independent
- piecewise linear
- mathematical proofs
- syntactic and semantic dependencies
- natural deduction
- cross lingual
- neural network
- text summarization
- target language
- probabilistic model
- database systems
- arabic language
- functional language
- information systems
- artificial intelligence