A Rewrite Approach for Pattern Containment
From MaRDI portal
Publication:3184735
DOI10.1007/978-3-642-03429-9_16zbMath1253.68101MaRDI QIDQ3184735
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: http://satoss.uni.lu/members/barbara/papers/KordyWadt08.pdf
Uses Software
Cites Work