Decidability in the logic of subsequences and supersequences.

Prateek Karandikar Philippe Schnoebelen

Published in: CoRR (2015)

Keyphrases

computational properties
description logics
logic programming
modal logic
decision procedures
proof theory
automated reasoning
classical logic
predicate logic
neural network
data mining
artificial intelligence
defeasible logic
epistemic logic
asynchronous circuits
delay insensitive