Login / Signup
Logic characterisation of p/q-recognisable sets.
Victor Marsault
Published in:
CoRR (2018)
Keyphrases
</>
modal logic
np complete
truth values
set theoretic
asynchronous circuits
data sets
logic programming
temporal logic
convex sets
multi valued
defeasible logic
predicate logic
definite clause
deductive reasoning
sound and complete axiomatization