5.5k citations
- Centre National de la Recherche ScientifiqueFR737 papers
- Université Paris CitéFR691 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR647 papers
- CEA Paris-SaclayFR640 papers
- Heidelberg UniversityDE624 papers
- Sorbonne UniversitéFR624 papers
- Ludwig-Maximilians-Universität MünchenDE609 papers
- Aix-Marseille UniversitéFR606 papers
- University of OxfordGB598 papers
- University of BonnDE590 papers
- University of GenevaCH586 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR583 papers
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010★ 4 cited
Loops under Strategies ... Continued
René Thiemann, Christian Sternagel, Jürgen Giesl +1
While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically…
cs.LO2010★ 34 cited
Automated Termination Analysis for Logic Programs with Cut
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder +2
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, wherea…