Login / Signup
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S.
Kojiro Higuchi
Yoshihiro Horihata
Published in:
Arch. Math. Log. (2014)
Keyphrases
</>
theoretical framework
data structure
special case
database
real time
data sets
neural network
computational models
domain theory
theoretical models
legal knowledge
intelligent design