On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches.

Chenglin Wang Fangzhen Lin

Published in: CAV (1) (2024)

Keyphrases

finite automata
facial expressions
finite state
finite number
rewrite rules
equational theories
database
machine learning
information systems
knowledge base
multiscale
unit length