Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands. (Lecture Notes in Computer Science ; 6663)
Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands.
Papers and an abstract."Over the past 20 years, the RelMiCS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferen...
"Over the past 20 years, the RelMiCS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences (...) At the last of these conferences it was decided that the two series should be united under the new title 'Relational and Algebraic Methods in Computer Science' (RAMiCS) . " -- pref.
書誌注記
Includes bibliographical references and author index.