Formal Aspects of Context

Authors:
Pierre Bonzon;Rolf T. Nossum;Marcos Cavalcanti
Affiliations:
-;-;-
Venue:
Formal Aspects of Context
Year:
2000

Citing 0
Cited 3

ML Systems: A Proof Theory for Contexts

Journal of Logic, Language and Information
A decidable multi-modal logic of context

Journal of Applied Logic
Conceptual discrepancies and feedback in human-computer interaction

Dutch HCI '04 Proceedings of the conference on Dutch directions in HCI

Quantified Score

Hi-index	0.00

Visualization

Abstract