Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Weighted propositional configuration logics: A specification language
  for architectures with quantitative features   We introduce and investigate a weighted propositional configuration logic
over commutative semirings. Our logic is intended to serve as a specification
language for software architectures with quantitative features. We prove an
efficient construction of full normal forms and decidability of equivalence of
formulas in this logic. We illustrate the motivation of this work by describing
well-known architectures equipped with quantitative characteristics using
formulas in our logic.

37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph