Weak Theories of Concatenation and Arithmetic.

Yoshihiro Horihata

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

regular expressions
case study
theoretical framework
legal knowledge
data sets
computer vision
database systems
defeasible logic
databases
multiscale
causal reasoning