Step semantics of boolean nets.

Jetty Kleijn Maciej Koutny Marta Pietkiewicz-Koutny Grzegorz Rozenberg

Published in: Acta Informatica (2013)

Keyphrases

boolean functions
post processing
formal semantics
real time
description logics
semantic information
preprocessing step
data sets
databases
preprocessing
temporal logic
owl ontologies
model theoretic