Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Helmut Seidl, Kumar Neeraj Verma. Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 118-132, Springer, 2009. [doi]

This author has not been identified. Look up 'Helmut Seidl' in GoogleThis author has not been identified. Look up 'Kumar Neeraj Verma' in Google

runs on WebDSL