Efficient General Unification for XOR with Homomorphism
From MaRDI portal
Publication:5200040
DOI10.1007/978-3-642-22438-6_31zbMath1341.68195WikidataQ118190409 ScholiaQ118190409MaRDI QIDQ5200040
Christopher Lynch, Zhi-Qiang Liu
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_31
Related Items
Bounded ACh unification, Local XOR unification: definitions, algorithms and application to cryptography, Efficient general AGH-unification, Satisfiability of general intruder constraints with and without a set constructor
Uses Software
Cites Work