Proving Structural Properties of Sequent Systems in Rewriting Logic.

Carlos Olarte Elaine Pimentel Camilo Rocha

Published in: WRLA@ETAPS (2018)

Keyphrases

structural properties
modal logic
management system
computer systems
logic programming
complex systems
expert systems
inference rules
topological properties
digital circuits
knowledge base
parallel processing
network evolution
tree width