Decidability and proof systems for language-based noninterference relations.
Mads DamPublished in: POPL (2006)
Keyphrases
- formal languages
- neural network
- natural language
- programming language
- learning systems
- computer systems
- intelligent systems
- theorem proving
- retrieval systems
- background knowledge
- databases
- distributed systems
- description logics
- management system
- language learning
- semantic relations
- multi agent systems
- search engine
- medical terminology