Some undecidable properties of SOS specifications.

Bartek Klin Beata Nachyla

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

structural properties
formal specification
databases
search engine
case study
bayesian networks
sufficient conditions
formal language
data sets
high level
data structure