An estimation for the lengths of reduction sequences of the λμρθ-calculus.

Péter Battyányi Karim Nour

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

hidden markov models
estimation algorithm
accurate estimation
long sequences
data sets
sequential patterns
robust estimation
biological sequences
multiple sequence alignment
computer algebra