Weak essentially undecidable theories of concatenation, part II.

Juvenal Murwanashyaka

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

Keyphrases

regular expressions
sufficient conditions
np complete
theoretical framework
design theory
decision making
metadata
multiscale
data model
logic programming
pattern matching
computational models
decision theory