Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2010

Highly Cited

2010

Preface Part I. Rational Series: 1. Rational series 2. Minimization 3. Series and languages 4. Rational expressions Part II… Expand

Highly Cited

2009

Highly Cited

2009

This chapter presents the theory of weighted automata over graded monoids and with weights taken in arbitrary semirings. The… Expand

2008

2008

For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the… Expand

2007

2007

We analyse the asymptotic behaviour in the mean of a non-commutative rational series, which originates from differential… Expand

2002

2002

Traces are used to model the occurrence of events in concurrent systems [9]. Roughly speaking, a letter corresponds to an event… Expand

1997

1997

The main result of the present paper is the sharpening of rationality w x w x w x theorems of Manning 23 , Fried 18 , and Gromov… Expand

Highly Cited

1997

Highly Cited

1997

Eleven bright gamma-ray bursts (GRBs) detected by BATSE have also been seen at much higher ener- gies by EGRET, six at energies… Expand

1996

1996

We prove a new result on N-rational series in one variable. This result gives, under an appropriate hypothesis, a necessary and… Expand

Highly Cited

1994

Highly Cited

1994

The Equality Problem for Rational Series with Multiplicities in the tropical Semiring is Undecidable

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they… Expand

Highly Cited

1988

Highly Cited

1988

I. Rational Series.- 1 Semirings.- 2 Formal Series.- 3 The Topology of K"X".- 4 Rational Series.- 5 Recognizable Series.- 6 The… Expand