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