A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems.

Christoph Kreitz Stephan Schmitt

Published in: Inf. Comput. (2000)

Keyphrases

database
distributed systems
modal logic
real time
databases
decision making
case study
control system
knowledge representation
management system
computer systems
learning systems
complex systems