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

Conditional narrowing modulo SMT and axioms

2017 ◽  
Author(s):  
Luis Aguirre ◽  
Narciso Martí-Oliet ◽  
Miguel Palomino ◽  
Isabel Pita
Keyword(s):  
Conditional Narrowing

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

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

2015 ◽  
pp. 48-71 ◽  
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

A Complete Selection Function for Lazy Conditional Narrowing

2001 ◽  
pp. 201-215
Author(s):  
Taro Suzuki ◽  
Aart Middeldorp
Keyword(s):  
Selection Function ◽  
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

Conditional narrowing modulo a set of equations

1993 ◽  
Vol 4 (3) ◽  
pp. 147-168 ◽  
Author(s):  
Alexander Bockmayr
Keyword(s):  
Conditional Narrowing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document