Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symbol Elimination for Parametric Second-Order Entailment Problems (with
  Applications to Problems in Wireless Network Theory)   We analyze possibilities of second-order quantifier elimination for formulae
containing parameters -- constants or functions. For this, we use a constraint
resolution calculus obtained from specializing the hierarchical superposition
calculus. If saturation terminates, we analyze possibilities of obtaining
weakest constraints on parameters which guarantee satisfiability. If the
saturation does not terminate, we identify situations in which finite
representations of infinite saturated sets exist. We identify situations in
which entailment between formulae expressed using second-order quantification
can be effectively checked. We illustrate the ideas on a series of examples
from wireless network research.

29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn