Sequent systems for negative modalities.

Ori Lahav João Marcos Yoni Zohar

Published in: CoRR (2017)

Keyphrases

building blocks
real time
database
databases
information systems
multiscale
expert systems
management system
distributed systems
complex systems
computing systems
systems require