Block products for algebras over countable words and applications to logic.
Bharat AdsulSaptarshi SarkarA. V. SreejithPublished in: LICS (2019)
Keyphrases
- relation algebra
- markov chain
- keywords
- n gram
- modal logic
- classical logic
- boolean algebra
- proof theory
- expressive power
- theorem prover
- automated reasoning
- word segmentation
- predicate logic
- logic programming
- syntactic categories
- english words
- asynchronous circuits
- unknown words
- product recommendation
- computational properties
- word recognition
- inference rules
- temporal reasoning