Translating between equational theories for automated reasoning

Ben Smyth, Myrto Arapinis, Mark Ryan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFCS 2013 Workshop on Foundations of Computer Security
Pages50
Number of pages1
Publication statusPublished - 2013

Cite this