Login / Signup
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.
Mark-Oliver Stehr
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
tightly coupled
loosely coupled
expert systems
decision support
distributed systems
databases
semantic interpretation
knowledge based systems
general purpose
management system
machine learning
intelligent systems
access control
computer systems
computing environments
key technologies
information systems
database