A. Rabinovich. Composition theorems for generalized sums. Manuscript, 20 p., 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A First Order Logic for Specification of Timed.. - Danièle.. (1999) (1 citation) (Correct)
....From theoretical point of view monadic second order extension could be better. This is a question to study. Sucient decidable conditions for niteness properties are of interest. A. Rabinovich noticed that some sucient condition can be formulated using his composition theorem for generalized sums [Rab99] Unfortunately, many interesting cases involving arithmetics are not covered by the generalized sums approach. However, there are other restrictions valid for practical systems that can help to advance in this direction. A more important line of investigation concerns practically ecient ....
A. Rabinovich. Composition theorems for generalized sums. Manuscript, 20 p., 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC