Elementary-base cirquent calculus I: Parallel and choice connectives.
Giorgi JaparidzePublished in: CoRR (2017)
Keyphrases
- sequent calculus
- parallel implementation
- parallel processing
- shared memory
- parallel computing
- inference rules
- massively parallel
- distributed memory machines
- databases
- computer algebra
- natural deduction
- parallel programming
- distributed memory
- computer architecture
- natural language
- information retrieval
- machine learning