Termination Competition (termCOMP 2015) - Université de La Réunion
Conference Papers Year : 2015

Dates and versions

hal-01451691 , version 1 (01-02-2017)

Identifiers

Cite

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⟩
68 View
0 Download

Altmetric

Share

More