Skip to Main content Skip to Navigation
Conference papers

Termination Competition (termCOMP 2015)

Jürgen Giesl 1 Frédéric Mesnard 2 Albert Rubio 3 René Thiemann 4 Johannes Waldmann 5 
1 Department of Computer Science [Aachen]
2 LIM - Laboratoire d'Informatique et de Mathématiques
3 UPC - Universitat Politècnica de Catalunya [Barcelona]
4 Department of Computer Science [Innsbruck]
5 HTWK Leipzig
Abstract : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal.univ-reunion.fr/hal-01451691
Contributor : Réunion Univ Connect in order to contact the contributor
Submitted on : Wednesday, February 1, 2017 - 12:55:56 PM
Last modification on : Friday, January 21, 2022 - 3:27:01 AM

Links full text

openaccess

Identifiers

Collections

AFRIQ | UNIV-REUNION | LIM | FST-REUNION

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

63