Login / Signup
A unified semantic framework for fully structural propositional sequent systems.
Ori Lahav
Arnon Avron
Published in:
ACM Trans. Comput. Log. (2013)
Keyphrases
</>
main contribution
management system
theoretical framework
high level
relational databases
distributed systems
knowledge based systems
inference rules
information retrieval
information systems
domain knowledge
intelligent systems
complex systems
context dependent
unified model