×

Found 44 Documents (Results 1–44)

Some trace monoids where both the star problem and the finite power property problem are decidable (extended abstract). (English) Zbl 1496.20089

Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 577-586 (1994).
MSC:  20M05 20M35 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software