Termination Competition (termCOMP 2015)

Abstract : no abstract
Type de document :
Communication dans un congrès
CADE-25 - 25th International Conference on Automated Deduction, Aug 2015, Berlin, Germany. Springer, Lecture Notes in Computer Sciences, 9195, pp.105--108, 2015, 〈10.1007/978-3-319-21401-6_6〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451691
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:55:56
Dernière modification le : dimanche 5 novembre 2017 - 15:58:03

Identifiants

Collections

Citation

Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann. Termination Competition (termCOMP 2015). CADE-25 - 25th International Conference on Automated Deduction, Aug 2015, Berlin, Germany. Springer, Lecture Notes in Computer Sciences, 9195, pp.105--108, 2015, 〈10.1007/978-3-319-21401-6_6〉. 〈hal-01451691〉

Partager

Métriques

Consultations de la notice

18