Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Asymmetric Unification for the Theory of XOR with a Homomorphism   Asymmetric unification, or unification with irreducibility constraints, is a
newly developed paradigm that arose out of the automated analysis of
cryptographic protocols. However, there are still relatively few asymmetric
unification algorithms. In this paper we address this lack by exploring the
application of automata-based unification methods. We examine the theory of xor
with a homomorphism, ACUNh, from the point of view of asymmetric unification,
and develop a new automata-based decision procedure. Then, we adapt a recently
developed asymmetric combination procedure to produce a general asymmetric-
ACUNh decision procedure. Finally, we present a new approach for obtaining a
solution-generating asymmetric-ACUNh unification automaton. We also compare our
approach to the most commonly used form of asymmetric unification available
today, variant unification.

21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom