Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Bijective Term Encodings   We encode/decode Prolog terms as unique natural numbers. Our encodings have
the following properties: a) are bijective b) natural numbers always decode to
syntactically valid terms c) they work in low polynomial time in the bitsize of
the representations d) the bitsize of our encodings is within constant factor
of the syntactic representation of the input.
  We describe encodings of term algebras with finite signature as well as
algorithms that separate the "structure" of a term, a natural number encoding
of a list of balanced parenthesis, from its "content", a list of atomic terms
and Prolog variables. The paper is organized as a literate Prolog program
available from \url{http://logic.cse.unt.edu/tarau/research/2011/bijenc.pl}.

22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat