Action Control by Term Rewriting

Steve Barker, Clara Bertolissi, Maribel Fernandez

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)19 - 36
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume234
Issue numberC
Publication statusPublished - 28 Mar 2009

Cite this