Formal Power Series.

Published in: J. Autom. Reason. (2011)

Keyphrases

power consumption
formal analysis
search engine
information systems
three dimensional
high level
preprocessing
formal methods
formal representation
mathematical theory
formal language