Contexts: A Formal Definition of Worlds of Assertions.

Guy W. Mineau, Olivier Gerb

Browse the full ICCS paper archive.