Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
Tobias KappéPaul BrunetBas LuttikAlexandra SilvaFabio ZanasiPublished in: CoRR (2017)
Keyphrases
- propositional logic
- language independent
- databases
- mutual exclusion
- regular expressions
- data mining
- language identification
- query translation
- expressive power
- machine translation
- case study
- target language
- statistical machine translation
- von neumann
- artificial intelligence
- information retrieval
- description languages