Using Well-Founded Relations for Proving Operational Termination

Salvador Lucas

doi:10.1007/s10817-019-09514-2

Using Well-Founded Relations for Proving Operational Termination

Journal of Automated Reasoning ◽

10.1007/s10817-019-09514-2 ◽

2019 ◽

Vol 64 (2) ◽

pp. 167-195 ◽

Cited By ~ 2

Author(s):

Salvador Lucas

Keyword(s):

Operational Termination

Download Full-text

Use of Logical Models for Proving Operational Termination in General Logics

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_2 ◽

2016 ◽

pp. 26-46 ◽

Cited By ~ 1

Author(s):

Salvador Lucas

Keyword(s):

Logical Models ◽

Operational Termination

Download Full-text

Strong and Weak Operational Termination of Order-Sorted Rewrite Theories

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_10 ◽

2014 ◽

pp. 178-194 ◽

Cited By ~ 2

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Operational Termination

Download Full-text

Localized Operational Termination in General Logics

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_9 ◽

2015 ◽

pp. 91-114 ◽

Cited By ~ 4

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Operational Termination

Download Full-text

Operational termination of conditional term rewriting systems

Information Processing Letters ◽

10.1016/j.ipl.2005.05.002 ◽

2005 ◽

Vol 95 (4) ◽

pp. 446-453 ◽

Cited By ~ 53

Author(s):

Salvador Lucas ◽

Claude Marché ◽

José Meseguer

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Operational Termination

Download Full-text

Operational Termination of Membership Equational Programs: the Order-Sorted Way

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.05.021 ◽

2009 ◽

Vol 238 (3) ◽

pp. 207-225 ◽

Cited By ~ 10

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Operational Termination

Download Full-text

Proving Operational Termination of Declarative Programs in General Logics

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643152 ◽

2014 ◽

Cited By ~ 5

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Operational Termination

Download Full-text

Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.03.036 ◽

2009 ◽

Vol 237 ◽

pp. 75-90 ◽

Cited By ~ 4

Author(s):

Stephan Falke ◽

Deepak Kapur

Keyword(s):

Data Structures ◽

Semantic Data ◽

Operational Termination

Download Full-text

Proving operational termination of membership equational programs

Higher-Order and Symbolic Computation ◽

10.1007/s10990-008-9028-2 ◽

2008 ◽

Vol 21 (1-2) ◽

pp. 59-88 ◽

Cited By ~ 40

Author(s):

Francisco Durán ◽

Salvador Lucas ◽

Claude Marché ◽

José Meseguer ◽

Xavier Urbain

Keyword(s):

Operational Termination

Download Full-text

2D Dependency Pairs for Proving Operational Termination of CTRSs

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_11 ◽

2014 ◽

pp. 195-212 ◽

Cited By ~ 4

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Dependency Pairs ◽

Operational Termination

Download Full-text

Characterizing and proving operational termination of deterministic conditional term rewriting systems

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2009.08.001 ◽

2010 ◽

Vol 79 (7) ◽

pp. 659-688 ◽

Cited By ~ 7

Author(s):

Felix Schernhammer ◽

Bernhard Gramlich

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Operational Termination

Download Full-text