Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modeling Terms by Graphs with Structure Constraints (Two Illustrations)   In the talk at the workshop my aim was to demonstrate the usefulness of graph
techniques for tackling problems that have been studied predominantly as
problems on the term level: increasing sharing in functional programs, and
addressing questions about Milner's process semantics for regular expressions.
For both situations an approach that is based on modeling terms by graphs with
structure constraints has turned out to be fruitful. In this extended abstract
I describe the underlying problems, give references, provide examples, indicate
the chosen approaches, and compare the initial situations as well as the
results that have been obtained, and some results that are being developed at
present.

20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas