State smearing theorems and the existence of states on some atomic lattice effect algebras.

Zdenka Riecanová Jan Paseka

Published in: J. Log. Comput. (2011)

Keyphrases

state transition
state variables
transition probabilities
state transitions
information systems
search algorithm
finite state machines
boolean algebra
case study
internal states