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

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540255963, 9783540320333
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial Inversion of Constructor Term Rewriting Systems

2005 ◽  
pp. 264-278 ◽  
Author(s):  
Naoki Nishida ◽  
Masahiko Sakai ◽  
Toshiki Sakabe
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Partial Inversion

scholarly journals A Sufficient Completeness Reasoning Tool for Partial Specifications

2005 ◽  
pp. 165-174 ◽  
Author(s):  
Joe Hendrix ◽  
Manuel Clavel ◽  
José Meseguer

Orderings for Innermost Termination

2005 ◽  
pp. 17-31 ◽  
Author(s):  
Mirtha-Lina Fernández ◽  
Guillem Godoy ◽  
Albert Rubio

Unification in a Class of Permutative Theories

2005 ◽  
pp. 105-119
Author(s):  
Thierry Boy de la Tour ◽  
Mnacho Echenim

Abstract Modularity

2005 ◽  
pp. 46-60
Author(s):  
Michael Abbott ◽  
Neil Ghani ◽  
Christoph Lüth

On Computing Reachability Sets of Process Rewrite Systems

2005 ◽  
pp. 484-499 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Tayssir Touili
Keyword(s):  
Rewrite Systems ◽  
Reachability Sets

Natural Narrowing for General Term Rewriting Systems

2005 ◽  
pp. 279-293 ◽  
Author(s):  
Santiago Escobar ◽  
José Meseguer ◽  
Prasanna Thati
Keyword(s):  
Term Rewriting ◽  
General Term ◽  
Term Rewriting Systems ◽  
Rewriting Systems

Quasi-interpretations and Small Space Bounds

2005 ◽  
pp. 150-164 ◽  
Author(s):  
Guillaume Bonfante ◽  
Jean-Yves Marion ◽  
Jean-Yves Moyen
Keyword(s):  
Small Space

scholarly journals On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems

2005 ◽  
pp. 353-367 ◽  
Author(s):  
Alfons Geser ◽  
Dieter Hofbauer ◽  
Johannes Waldmann ◽  
Hans Zantema
Keyword(s):  
Term Rewriting ◽  
Linear Term ◽  
Tree Automata ◽  
Term Rewriting Systems ◽  
Rewriting Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document