Weak essentially undecidable theories of concatenation.

Juvenal Murwanashyaka

Published in: Arch. Math. Log. (2022)

Keyphrases

sufficient conditions
regular expressions
np complete
theoretical framework
causal reasoning
data sets
website
multiscale
cognitive psychology
real time
social networks
case study
special case
computational models
formal models