 |
 |
 |
Conference papers
Termination Competition (termCOMP 2015)
Jürgen Giesl 1
Author
Frédéric Mesnard 2
Author Employer institution : Université de La Réunion IdHAL : frederic-mesnard
Albert Rubio 3
Author
René Thiemann 4
Author
Johannes Waldmann 5
Author
1
Department of Computer Science [Aachen] (RWTH Aachen University Department of Computer Science Ahornstr. 55 52074 Aachen - Germany)
- RWTH - Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen Templergraben 55 52062 Aachen (Hausanschrift) 52056 Aachen (Postanschrift) - Germany)
2
LIM - Laboratoire d'Informatique et de Mathématiques (Faculté des Sciences et Technologies - Université de la Réunion, 2, rue Joseph Wetzell 97490 Sainte-Clotilde - France)
- UR - Université de La Réunion : EA2525 (15, avenue René Cassin - CS92003 -97744 Saint Denis Cedex 9 - Réunion)
3
UPC - Universitat Politècnica de Catalunya [Barcelona] (C./Jordi Girona, 1-3, 08034 Barcelona - Spain)
4
Department of Computer Science [Innsbruck] (Universität Innsbruck
Technikerstraße 21A
A - 6020 Innsbruck - Austria)
- University of Innsbruck (Innrain 52, A-6020 Innsbruck - Austria)
5
HTWK Leipzig (France)
Abstract : no abstract
Document type :
Conference papers
Domain :
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 7, 2022 - 3:39:47 PM
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 7, 2022 - 3:39:47 PM
Links full text
Identifiers
- HAL Id : hal-01451691, version 1
- DOI : 10.1007/978-3-319-21401-6_6
Collections
LIM | UNIV-REUNION | FST-REUNION | AFRIQ
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⟩
Metrics
Les métriques sont temporairement indisponibles