Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Kleene algebra with domain   We propose Kleene algebra with domain (KAD), an extension of Kleene algebra
with two equational axioms for a domain and a codomain operation, respectively.
KAD considerably augments the expressiveness of Kleene algebra, in particular
for the specification and analysis of state transition systems. We develop the
basic calculus, discuss some related theories and present the most important
models of KAD. We demonstrate applicability by two examples: First, an
algebraic reconstruction of Noethericity and well-foundedness; second, an
algebraic reconstruction of propositional Hoare logic.

33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn