On quotients of formal power series.

Yongming Li Qian Wang Sanjiang Li

Published in: Inf. Comput. (2022)

Keyphrases

power consumption
formal methods
formal model
real time
knowledge base
multiresolution
power management
databases
multimedia
image sequences
relational databases
formal analysis