Elementary-base Cirquent Calculus I: Parallel and Choice Connectives.

Giorgi Japaridze

Published in: FLAP (2018)

Keyphrases

sequent calculus
parallel implementation
case study
data sets
parallel programming
real time
databases
real world
information systems
inference rules
parallel computing
parallel computation
parallel execution