On the extensions of S5.

Peter Gärdenfors

Published in: Notre Dame J. Formal Log. (1973)

Keyphrases

real time
databases
information systems
web services
feature extraction
relational databases