Security and Rewriting (Dagstuhl Seminar 11332)

Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows. Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports, 1(8):53-66, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.