On asymmetric unification for the theory of XOR with a homomorphism

DOI10.1007/978-3-030-29007-8_17zbMath1435.68373arXiv1907.00227OpenAlexW2970093241WikidataQ118190331 ScholiaQ118190331MaRDI QIDQ2180236

Christopher Lynch, Andrew M. Marshall, Paliath Narendran, Veena Ravishankar, Catherine A. Meadows

Publication date: 13 May 2020

Full work available at URL: https://arxiv.org/abs/1907.00227

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Cryptography (94A60) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: On asymmetric unification for the theory of XOR with a homomorphism