Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complexity of correctness for pomset logic proof nets   We show that it is coNP-complete to decide whether a given proof structure of
pomset logic is a correct proof net, using the graph-theoretic used in a
previous paper of ours (arXiv:1901.10247).

3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph