Login / Signup
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