conditional narrowing
Recently Published Documents

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

2017 ◽  
Vol 60 (4) ◽  
pp. 421-463 ◽  
Author(s):  
Luis Aguirre ◽  
Narciso Martí-Oliet ◽  
Miguel Palomino ◽  
Isabel Pita
Keyword(s):  
Rewriting Logic ◽  
Conditional Narrowing

scholarly journals Conditional Narrowing Modulo in Rewriting Logic and Maude

2014 ◽  
pp. 80-96 ◽  
Author(s):  
Luis Aguirre ◽  
Narciso Martí-Oliet ◽  
Miguel Palomino ◽  
Isabel Pita
Keyword(s):  
Rewriting Logic ◽  
Conditional Narrowing

Safe folding/unfolding with conditional narrowing

1997 ◽  
pp. 1-15 ◽  
Author(s):  
M. Alpuente ◽  
M. Falaschi ◽  
G. Moreno ◽  
G. Vidal
Keyword(s):  
Conditional Narrowing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document