Name
Title | ||
|---|---|---|
A characterization of set representable labeled partial 2-structures through decompositions |
Abstract | ||
|---|---|---|
The notion of the product of (initialized) labeled partial 2-structures is introduced, and then set representable (initialized) labeled partial 2-structures are characterized in terms of products of binary switches which are “very simple” (initialized) labeled partial 2-structures. |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1007/BF02983375 | Acta Inf. |
Keywords | Field | DocType |
Product Operation,Label Transition System,Binary Switch,Compositional Proof,Partial Substructure | Graph theory,Discrete mathematics,Combinatorics,Concurrency,Mathematics,Binary number | Journal |
Volume | Issue | ISSN |
28 | 1 | 0001-5903 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| A. Ehrenfeucht | 1 | 1823 | 497.83 |
| Grzegorz Rozenberg | 2 | 5208 | 1039.94 |