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

Abstract : no abstract
Type de document :
Communication dans un congrès
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, 2007, 〈10.1109/SYNASC.2007.67〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699961
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:52:53
Dernière modification le : jeudi 15 novembre 2018 - 20:26:57

Identifiants

Collections

Citation

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, 2007, 〈10.1109/SYNASC.2007.67〉. 〈hal-01699961〉

Partager

Métriques

Consultations de la notice

24