The Power of Closed Reduction Strategies

S Alves; M Fernandez; M Florido; I Mackie

The Power of Closed Reduction Strategies

S Alves
, M Fernandez
, M Florido
, I Mackie

Research output: Contribution to journal › Conference paper

5 Citations (Scopus)

Original language	English
Pages (from-to)	57 - 74
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Issue number	10
Publication status	Published - 2 Jul 2007
Event	Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) - Duration: 1 Jan 2007 → …

Cite this

@article{878fb71ca60b421e9aa85c0600f1801d,

title = "The Power of Closed Reduction Strategies",

author = "S Alves and M Fernandez and M Florido and I Mackie",

year = "2007",

month = jul,

day = "2",

language = "English",

volume = "174",

pages = "57 -- 74",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier BV",

number = "10",

note = "Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) ; Conference date: 01-01-2007",

}

TY - JOUR

T1 - The Power of Closed Reduction Strategies

AU - Alves, S

AU - Fernandez, M

AU - Florido, M

AU - Mackie, I

PY - 2007/7/2

Y1 - 2007/7/2

UR - https://www.scopus.com/pages/publications/34347262687

M3 - Conference paper

SN - 1571-0661

VL - 174

SP - 57

EP - 74

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 10

T2 - Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)

Y2 - 1 January 2007

ER -

The Power of Closed Reduction Strategies

Other files and links

Cite this