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 11 janvier 2018 - 06:19:44

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

121