Termination Competition (termCOMP 2015)
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Réunion Univ : Connectez-vous pour contacter le contributeur
https://hal.univ-reunion.fr/hal-01451691
Soumis le : mercredi 1 février 2017-12:55:56
Dernière modification le : lundi 6 janvier 2025-16:32:02
Citer
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. pp.105--108, ⟨10.1007/978-3-319-21401-6_6⟩. ⟨hal-01451691⟩
Collections
69
Consultations
0
Téléchargements