The Power of Linear Functions

Type de document :
Communication dans un congrès
Z. sik. Proceedings of the 15th EACSL Conference on Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungay, Springer-Verlag, 4207, pp.119--134, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00133321
Contributeur : Ian Mackie <>
Soumis le : dimanche 25 février 2007 - 17:02:39
Dernière modification le : jeudi 10 mai 2018 - 02:06:38

Identifiants

  • HAL Id : inria-00133321, version 1

Collections

Citation

Sandra Alves, Maribel Fern{á}ndez, Mario Florido, Ian Mackie. The Power of Linear Functions. Z. sik. Proceedings of the 15th EACSL Conference on Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungay, Springer-Verlag, 4207, pp.119--134, 2006. 〈inria-00133321〉

Partager

Métriques

Consultations de la notice

141