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

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

2019 ◽  
Vol 14 (4) ◽  
pp. 403-418 ◽  
Author(s):  
Ammar Boucherit ◽  
Abdallah Khababa ◽  
Laura M. Castro
Keyword(s):  
Petri Nets ◽  
Multi Agent System ◽  
Rewriting Logic ◽  
Agent System ◽  
System Models ◽  
Multi Agent

scholarly journals A Rewriting Logic Implementation of Erlang

2001 ◽  
Vol 44 (2) ◽  
pp. 206-224 ◽  
Author(s):  
Thomas Noll
Keyword(s):  
Rewriting Logic

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

2004 ◽  
pp. 31-40 ◽  
Author(s):  
Gabriel Aguilera ◽  
Pablo Cordero ◽  
Manuel Enciso ◽  
Angel Mora ◽  
Inmaculada Perez de Guzmán
Keyword(s):  
Functional Dependencies ◽  
Rewriting Logic
Sign in / Sign up

Export Citation Format

Share Document