Sign in
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
Murphy Berzish
Joel D. Day
Vijay Ganesh
Mitja Kulczynski
Florin Manea
Federico Mora
Dirk Nowotka
Published in:
WORDS (2021)
Keyphrases
</>
theoretical framework
general theory
cognitive psychology
data structure
pattern matching
theoretical basis
real world
computational models
domain theory
design theory
database
edit distance
mathematical models
cognitive theory