Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras.
Michael R. LaurenceGeorg StruthPublished in: CoRR (2017)
Keyphrases
- propositional logic
- expressive power
- regular expressions
- language independent
- databases
- spatial reasoning
- language identification
- mutual exclusion
- text summarization
- distributive lattices
- multilingual information retrieval
- concurrent execution
- description languages
- multi lingual
- cross lingual
- database systems
- neural network