Advanced Topics in Term Rewriting
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9781441929211, 9781475736618

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conditional Rewrite Systems

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_7 ◽

2002 ◽

pp. 179-242

Author(s):

Enno Ohlebusch

Keyword(s):

Rewrite Systems

Download Full-text

Termination

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_5 ◽

2002 ◽

pp. 57-126

Author(s):

Enno Ohlebusch

Download Full-text

Graph Rewriting

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_9 ◽

2002 ◽

pp. 325-349

Author(s):

Enno Ohlebusch

Keyword(s):

Graph Rewriting

Download Full-text

Motivation

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_1 ◽

2002 ◽

pp. 1-5

Author(s):

Enno Ohlebusch

Download Full-text

Proving Termination of Logic Programs

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_10 ◽

2002 ◽

pp. 351-377

Author(s):

Enno Ohlebusch

Keyword(s):

Download Full-text

Modularity

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_8 ◽

2002 ◽

pp. 243-323

Author(s):

Enno Ohlebusch

Download Full-text

Term Rewriting Systems

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_3 ◽

2002 ◽

pp. 37-43

Author(s):

Enno Ohlebusch

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Relative Undecidability

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_6 ◽

2002 ◽

pp. 127-178

Author(s):

Enno Ohlebusch

Download Full-text

Confluence

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_4 ◽

2002 ◽

pp. 45-56

Author(s):

Enno Ohlebusch

Download Full-text

Abstract Reduction Systems

Advanced Topics in Term Rewriting ◽

10.1007/978-1-4757-3661-8_2 ◽

2002 ◽

pp. 7-35

Author(s):

Enno Ohlebusch

Download Full-text