Formal power series, operator calculus, and duality on Lie algebras.

Philip Feinsilver René Schott

Published in: Discret. Math. (1998)

Keyphrases

formal language
relation algebra
power consumption
linear programming
formal methods
real time
expressive power
mathematical theory
interval algebra
power distribution
data sets
case study
knowledge representation
temporal reasoning
computational power