MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids
by D. Kirsten, G. Richomme, Fakult At Informatik, Technische Berichte — 1999
…Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids D…
Cited by 4 (1 self) – Add To MetaCart

TECHNISCHE UNIVERSIT AT DRESDEN Fakult at Informatik
by D. Kirsten, G. Richomme, Fakult At Informatik, Technische Berichte Issn
…Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids D…
Add To MetaCart

Annual Report 1999: Foundations of Programming
by Heiko Vogler, Fakultat Informatik, Fakultat Informatik — 1999
…. Kirsten and G. Richomme. Decidability equivalence between the star problem and the finite power problem…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB