Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Year of publication: 2005
Volume: 137
Issue: 1
Pages: 133-150
Type: Conference paper
ISSN: 1571-0661
Year of publication: 2005
Volume: 137
Issue: 1
Pages: 133-150
Type: Conference paper