operational termination Latest Research Papers

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

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

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

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

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

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

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

operational termination
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Using Well-Founded Relations for Proving Operational Termination

Use of Logical Models for Proving Operational Termination in General Logics

Localized Operational Termination in General Logics

Strong and Weak Operational Termination of Order-Sorted Rewrite Theories

Proving Operational Termination of Declarative Programs in General Logics

2D Dependency Pairs for Proving Operational Termination of CTRSs

Characterizing and proving operational termination of deterministic conditional term rewriting systems

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

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

Proving operational termination of membership equational programs

Export Citation Format

operational terminationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Using Well-Founded Relations for Proving Operational Termination

Use of Logical Models for Proving Operational Termination in General Logics

Localized Operational Termination in General Logics

Strong and Weak Operational Termination of Order-Sorted Rewrite Theories

Proving Operational Termination of Declarative Programs in General Logics

2D Dependency Pairs for Proving Operational Termination of CTRSs

Characterizing and proving operational termination of deterministic conditional term rewriting systems

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

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

Proving operational termination of membership equational programs

operational termination
Recently Published Documents