CSL, SRI International & DCS, UIUC

 
 
Roadmap and Bibliography

  • Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
  • bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.
  • bibTeX file about Rewriting Logic without crossreferences.

     
    [ Maude Home Page]