Eventual linear ranking functions

Abstract : no abstract
Type de document :
Communication dans un congrès
Pena, Ricardo and Schrijvers, Tom. 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Sep 2013, Madrid, Spain. ACM, Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, pp.229--238, 2013
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451694
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:56:10
Dernière modification le : lundi 26 février 2018 - 15:00:03

Identifiants

  • HAL Id : hal-01451694, version 1

Collections

Citation

Roberto Bagnara, Frédéric Mesnard. Eventual linear ranking functions. Pena, Ricardo and Schrijvers, Tom. 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Sep 2013, Madrid, Spain. ACM, Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, pp.229--238, 2013. 〈hal-01451694〉

Partager

Métriques

Consultations de la notice

19