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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642023477, 9783642023484
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unification and Narrowing in Maude 2.4

2009 ◽  
pp. 380-390 ◽  
Author(s):  
Manuel Clavel ◽  
Francisco Durán ◽  
Steven Eker ◽  
Santiago Escobar ◽  
Patrick Lincoln ◽  
...  

A Fully Abstract Semantics for Constructor Systems

2009 ◽  
pp. 320-334 ◽  
Author(s):  
Francisco Javier López-Fraguas ◽  
Juan Rodríguez-Hortalá ◽  
Jaime Sánchez-Hernández
Keyword(s):  
Abstract Semantics

scholarly journals Proving Termination of Integer Term Rewriting

2009 ◽  
pp. 32-47 ◽  
Author(s):  
Carsten Fuhs ◽  
Jürgen Giesl ◽  
Martin Plücker ◽  
Peter Schneider-Kamp ◽  
Stephan Falke
Keyword(s):  
Term Rewriting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document