Interpreting Sequent Calculi as Client-Server Games.

Christian G. Fermüller Timo Lang

Published in: TABLEAUX (2017)

Keyphrases

client server
sequent calculi
distributed databases
database architectures
mobile agents
database server
peer to peer
conditional logic
distributed object
visual basic
client server architecture
modal logic
client server databases
cut elimination
distributed environment