Finitary formal topologies and Stone's representation theorem.

Francesco Ciraulo Giovanni Sambin

Published in: Theor. Comput. Sci. (2008)

Keyphrases

artificial intelligence
representation language
website
case study
finite state
formal representation
machine processable
real time
information systems
formal model
semantic representation