Login / Signup
Characterization of derivation sets of formal systems.
Manfred Kudlek
Published in:
Automatentheorie und Formale Sprachen (1973)
Keyphrases
</>
management system
formal model
computer systems
formal methods
knowledge base
database systems
expert systems
software engineering
systems require
mathematical models
model checking
learning systems
building blocks
knowledge based systems
distributed systems
real time
knowledge representation
probabilistic model
multiscale
search engine
data sets