Volker Diekert
Biographic Data
| ID | 10666355 |
|---|---|
| NAME | Volker Diekert |
| GIVEN NAMES | Volker |
| FAMILY NAME | Diekert |
| SIGNATURE | DIEKERT V |
| AFFILIATIONS | University of Stuttgart |
| ORCID | 0000-0002-5994-3762 |
| VERIFIED | No |
| TOTAL WORKS | 3 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 3 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 1991 |
| LATEST PUBLICATION YEAR | 1995 |
| H-INDEX | 0 |
The Book of Traces
The theory of traces belongs to both formal language theory and the theory of concurrent systems. In both these disciplines it is a well-recognized and dynamic research area. Within formal language theory it yields the theory of partially commutative monoids, and provides an important connection between languages and graphs. Within the theory of concurrent systems it provides an important formal framework for the analysis and synthesis of concurr…
Book of Traces
On confluent semi-commutations — Decidability and complexity results
No prominent works on this page.
On confluent semi-commutations — Decidability and complexity results
The Book of Traces
The theory of traces belongs to both formal language theory and the theory of concurrent systems. In both these disciplines it is a well-recognized and dynamic research area. Within formal language theory it yields the theory of partially commutative monoids, and provides an important connection between languages and graphs. Within the theory of concurrent systems it provides an important formal framework for the analysis and synthesis of concurr…
Book of Traces
semigroups and automata theory (2 works) · Advanced Algebra and Logic (1 work) · Algebra over a field (1 work) · Combinatorial analysis (1 work) · Commutation (1 work) · Computability, Logic, AI Algorithms (1 work) · Computer Science (1 work) · Confluence (1 work) · Decidability (1 work) · Discrete mathematics (1 work)