Browse wiki

From CERES
Jump to: navigation, search
M. A. Reniers
  This page has no properties.
hide properties that link here 
Publications:A Congruence Rule Format with Universal Quantification + , Publications:A syntactic commutativity format for SOS + , Publications:Algebraic properties for free! + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Restricted delegation and revocation in language-based security : (Position paper) + , Publications:Robustness of equations under operational extensions + , Publications:SOS formats and meta-theory : 20 years after + Author
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/M.-20A.-20Reniers"