Login / Signup
Formal Theories of Occurrences and Substitutions.
René Gazzari
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
formal models
ontological engineering
formal model
neural network
pattern matching
databases
formal methods
formal specification
evolutionary algorithm
computational model
data structure
theoretical framework
image sequences
case study
sequence alignment
website
information systems
data sets