A schematic axiom for open congruence.

Published in: Sci. China Ser. F Inf. Sci. (2005)

Keyphrases

modal logic
socio technical
social networks
knowledge base
database systems
data structure
user interface
email