Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01699961 , version 1 (02-02-2018)

Identifiants

Citer

Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia. Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, 2007, Unknown, Unknown Region. pp.33--40, ⟨10.1109/SYNASC.2007.67⟩. ⟨hal-01699961⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More