Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

On bounding space usage of streams using interpretation analysis

Marco Gaboardi and Romain Péchoux
Science of Computer Programming 111 395 (2015)
DOI: 10.1016/j.scico.2015.05.004
See this article

Automatic Proofs of Termination With Elementary Interpretations

Salvador Lucas
Electronic Notes in Theoretical Computer Science 258 (1) 41 (2009)
DOI: 10.1016/j.entcs.2009.12.004
See this article

Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers

Salvador Lucas and Rafael Navarro-Marset
Electronic Notes in Theoretical Computer Science 206 75 (2008)
DOI: 10.1016/j.entcs.2008.03.076
See this article

Artificial Intelligence and Symbolic Computation

Salvador Lucas and José Meseguer
Lecture Notes in Computer Science, Artificial Intelligence and Symbolic Computation 8884 9 (2014)
DOI: 10.1007/978-3-319-13770-4_3
See this article

Artificial Intelligence and Symbolic Computation

Salvador Lucas
Lecture Notes in Computer Science, Artificial Intelligence and Symbolic Computation 8884 21 (2014)
DOI: 10.1007/978-3-319-13770-4_4
See this article

Functional and Logic Programming

Jean-Yves Marion and Romain Péchoux
Lecture Notes in Computer Science, Functional and Logic Programming 3945 163 (2006)
DOI: 10.1007/11737414_12
See this article

Rewriting Logic and Its Applications

Raúl Gutiérrez and Salvador Lucas
Lecture Notes in Computer Science, Rewriting Logic and Its Applications 6381 18 (2010)
DOI: 10.1007/978-3-642-16310-4_3
See this article

On probabilistic term rewriting

Martin Avanzini, Ugo Dal Lago and Akihisa Yamada
Science of Computer Programming 185 102338 (2020)
DOI: 10.1016/j.scico.2019.102338
See this article

Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories

Salvador Lucas and Raúl Gutiérrez
Journal of Automated Reasoning 60 (4) 465 (2018)
DOI: 10.1007/s10817-017-9419-3
See this article

Size-based termination of higher-order rewriting

FRÉDÉRIC BLANQUI
Journal of Functional Programming 28 (2018)
DOI: 10.1017/S0956796818000072
See this article

The Certification Problem Format

Christian Sternagel and René Thiemann
Electronic Proceedings in Theoretical Computer Science 167 61 (2014)
DOI: 10.4204/EPTCS.167.8
See this article

Proving termination of context-sensitive rewriting by transformation

Salvador Lucas
Information and Computation 204 (12) 1782 (2006)
DOI: 10.1016/j.ic.2006.07.001
See this article

Tyrolean termination tool: Techniques and features

Nao Hirokawa and Aart Middeldorp
Information and Computation 205 (4) 474 (2007)
DOI: 10.1016/j.ic.2006.08.010
See this article

Context-sensitive dependency pairs

Beatriz Alarcón, Raúl Gutiérrez and Salvador Lucas
Information and Computation 208 (8) 922 (2010)
DOI: 10.1016/j.ic.2010.03.003
See this article

Rewriting Logic and Its Applications

Salvador Lucas
Lecture Notes in Computer Science, Rewriting Logic and Its Applications 9942 26 (2016)
DOI: 10.1007/978-3-319-44802-2_2
See this article

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell and Albert Rubio
Journal of Automated Reasoning 48 (1) 107 (2012)
DOI: 10.1007/s10817-010-9196-8
See this article

Proving Termination of Context-Sensitive Rewriting with MU-TERM

Beatriz Alarcón, Raúl Gutiérrez, José Iborra and Salvador Lucas
Electronic Notes in Theoretical Computer Science 188 105 (2007)
DOI: 10.1016/j.entcs.2007.05.041
See this article

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

Salvador Lucas
Electronic Proceedings in Theoretical Computer Science 200 32 (2015)
DOI: 10.4204/EPTCS.200.3
See this article

Automated Deduction – CADE-22

Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell and Albert Rubio
Lecture Notes in Computer Science, Automated Deduction – CADE-22 5663 294 (2009)
DOI: 10.1007/978-3-642-02959-2_23
See this article

Logic, Rewriting, and Concurrency

Raúl Gutiérrez and Salvador Lucas
Lecture Notes in Computer Science, Logic, Rewriting, and Concurrency 9200 311 (2015)
DOI: 10.1007/978-3-319-23165-5_15
See this article

Algebraic Methodology and Software Technology

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas and Rafael Navarro-Marset
Lecture Notes in Computer Science, Algebraic Methodology and Software Technology 6486 201 (2011)
DOI: 10.1007/978-3-642-17796-5_12
See this article

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp and Stephan Falke
Journal of Automated Reasoning 37 (3) 155 (2007)
DOI: 10.1007/s10817-006-9057-7
See this article

Intelligent Computer Mathematics

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, et al.
Lecture Notes in Computer Science, Intelligent Computer Mathematics 5144 109 (2008)
DOI: 10.1007/978-3-540-85110-3_10
See this article

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

Beatriz Alarcón, Raúl Gutiérrez and Salvador Lucas
Lecture Notes in Computer Science, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 4337 297 (2006)
DOI: 10.1007/11944836_28
See this article

Term Rewriting and Applications

Bernhard Gramlich and Salvador Lucas
Lecture Notes in Computer Science, Term Rewriting and Applications 4098 66 (2006)
DOI: 10.1007/11805618_6
See this article

Intelligent Computer Mathematics

Salvador Lucas
Lecture Notes in Computer Science, Intelligent Computer Mathematics 6167 116 (2010)
DOI: 10.1007/978-3-642-14128-7_11
See this article

Foundational and Practical Aspects of Resource Analysis

Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña
Lecture Notes in Computer Science, Foundational and Practical Aspects of Resource Analysis 7177 36 (2012)
DOI: 10.1007/978-3-642-32495-6_3
See this article