Login / Signup
Terminating Tableau Systems for Hybrid Logic with Difference and Converse.
Mark Kaminski
Gert Smolka
Published in:
J. Log. Lang. Inf. (2009)
Keyphrases
</>
real world
intelligent systems
knowledge based systems
digital circuits
database
data sets
software engineering
description logics
computer systems
complex systems
asynchronous circuits