On Transductions of Formal Power Series over Complete Semirings.

Published in: Theor. Comput. Sci. (1992)

Keyphrases

constraint satisfaction problems
power consumption
formal model
formal methods
database
information retrieval
case study
formal specification
finite state
transitive closure