Powerdomains as Algebraic Lattices (Preliminary Report).

Published in: ICALP (1985)

Keyphrases

information systems
wireless sensor networks
linear algebra
mathematical theory
boolean algebra
computer algebra
distributive lattices
real time
machine learning
reinforcement learning
hidden markov models
higher order
algebraic expressions