Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report

Abstract

The uniform word problem for commutative semigroups (UWCS) is the problem of determining from any given finite set of defining relations and any pair of words, whether the words describe the same element in the commutative semigroup defined by the relations. The effective decidability of this classical algebraic problem was first explicitly noted by Malcev… (More)
DOI: 10.1145/800113.803630

2 Figures and Tables

Topics

Statistics

01020'77'80'84'88'92'96'00'04'08'12'16
Citations per Year

115 Citations

Semantic Scholar estimates that this publication has 115 citations based on the available data.

See our FAQ for additional information.

  • Blog articles referencing this paper

  • Presentations referencing similar topics