Skip to Main content Skip to Navigation
Conference papers

Termination Competition (termCOMP 2015)

Abstract : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.univ-reunion.fr/hal-01451691
Contributor : Réunion Univ <>
Submitted on : Wednesday, February 1, 2017 - 12:55:56 PM
Last modification on : Monday, September 2, 2019 - 9:41:07 AM

Links full text

Identifiers

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. pp.105--108, ⟨10.1007/978-3-319-21401-6_6⟩. ⟨hal-01451691⟩

Share

Metrics

Record views

122