iRho: an imperative rewriting calculus
From MaRDI portal
Publication:3520144
DOI10.1017/S0960129508006750zbMath1153.68026MaRDI QIDQ3520144
Bernard Paul Serpette, Luigi Liquori
Publication date: 15 August 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Uses Software
Cites Work