Rewriting Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642163098, 9783642163104
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Folding Variant Narrowing and Optimal Variant Termination

2010 ◽  
pp. 52-68 ◽  
Author(s):  
Santiago Escobar ◽  
Ralf Sasse ◽  
José Meseguer
Keyword(s):  
Optimal Variant ◽  
Folding Variant

Rewriting, Inference, and Proof

2010 ◽  
pp. 1-14 ◽  
Author(s):  
Natarajan Shankar

scholarly journals Enhancing the Debugging of Maude Specifications

2010 ◽  
pp. 226-242 ◽  
Author(s):  
Adrian Riesco ◽  
Alberto Verdejo ◽  
Narciso Martí-Oliet

A Dependency Pair Framework for A ∨ C-Termination

2010 ◽  
pp. 35-51 ◽  
Author(s):  
Beatriz Alarcón ◽  
Salvador Lucas ◽  
José Meseguer
Keyword(s):  
Dependency Pair
Load More ...
Sign in / Sign up

Export Citation Format

Share Document