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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540643012, 9783540697213
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unification and matching in process algebras

1998 ◽  
pp. 91-105
Author(s):  
Qing Guo ◽  
Paliath Narendran ◽  
Sandeep K. Shukla
Keyword(s):  
Process Algebras

scholarly journals Unification in extensions of shallow equational theories

1998 ◽  
pp. 76-90 ◽  
Author(s):  
Florent Jacquemard ◽  
Christoph Meyer ◽  
Christoph Weidenbach
Keyword(s):  
Equational Theories

scholarly journals Algorithms and reductions for rewriting problems

1998 ◽  
pp. 166-180 ◽  
Author(s):  
Rakesh M. Verma ◽  
Michael Rusinowitch ◽  
Denis Lugiez
Load More ...
Sign in / Sign up

Export Citation Format

Share Document