Skip to main content
Log in
Search all Journal of Automated Reasoning articles

Volume 48, Issue 2

February 2012

Special Issue on Security and Rewriting

Issue Editors:
  • Hubert Comon-Lundh,
  • Catherine A. Meadows
6 articles in this issue

Navigation