Lecture Notes in Computer Science - Term Rewriting and Applications
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540734475, 9783540734499
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Proving Termination of Rewrite Systems Using Bounds

2007 ◽  
pp. 273-287 ◽  
Author(s):  
Martin Korp ◽  
Aart Middeldorp
Keyword(s):  
Rewrite Systems

Confluence of Pattern-Based Calculi

2007 ◽  
pp. 78-92 ◽  
Author(s):  
Horatiu Cirstea ◽  
Germain Faure

Termination of Rewriting with Right-Flat Rules

2007 ◽  
pp. 200-213 ◽  
Author(s):  
Guillem Godoy ◽  
Eduard Huntingford ◽  
Ashish Tiwari

Bottom-Up Rewriting Is Inverse Recognizability Preserving

2007 ◽  
pp. 107-121 ◽  
Author(s):  
Irène Durand ◽  
Géraud Sénizergues
Keyword(s):  
Bottom Up

scholarly journals On the Completeness of Context-Sensitive Order-Sorted Specifications

2007 ◽  
pp. 229-245 ◽  
Author(s):  
Joe Hendrix ◽  
José Meseguer
Keyword(s):  
Context Sensitive

Non Strict Confluent Rewrite Systems for Data-Structures with Pointers

2007 ◽  
pp. 137-152 ◽  
Author(s):  
Rachid Echahed ◽  
Nicolas Peltier
Keyword(s):  
Data Structures ◽  
Rewrite Systems

scholarly journals The Termination Competition

2007 ◽  
pp. 303-313 ◽  
Author(s):  
Claude Marché ◽  
Hans Zantema
Load More ...
Sign in / Sign up

Export Citation Format

Share Document