Intruder Deduction for ::::AC::::-Like Equational Theories with Homomorphisms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Intruder Deduction for ::::AC::::-Like Equational Theories with Homomorphisms. In Jürgen Giesl, editor, Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Volume 3467 of Lecture Notes in Computer Science, pages 308-322, Springer, 2005. [doi]

This author has not been identified. Look up 'Pascal Lafourcade' in GoogleThis author has not been identified. Look up 'Denis Lugiez' in GoogleThis author has not been identified. Look up 'Ralf Treinen' in Google

runs on WebDSL