Login / Signup

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

Chenglin WangFangzhen 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