Login / Signup
Combinatorial Principles Relevant to Finite Variable Logic.
Lew Gordeev
Published in:
RelMiCS (2000)
Keyphrases
</>
modal logic
logic programming
closely related
real time
linear temporal logic
bayesian networks
higher level
design principles
finite number
automated reasoning
multi valued
logical framework
classical logic
real numbers
digital circuits
predicate logic
database