On the semantics of informational independence.

Jouko A. Väänänen

Published in: Log. J. IGPL (2002)

Keyphrases

formal semantics
semantic information
image sequences
expert systems
operational semantics
proof theory
real time
real world
search engine
website