Constructible differentially finite algebraic series in several variables

Aus International Center for Computational Logic
Version vom 19. März 2015, 18:44 Uhr von Marcel Lippmann (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

„June“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Toggle side column

Constructible differentially finite algebraic series in several variables

François BergeronFrançois Bergeron,  Ulrike SattlerUlrike Sattler
Constructible differentially finite algebraic series in several variables


François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59--66,  1995
  • KurzfassungAbstract
    We extend the concept of CDF-series to the context of several variables, and

    show that the series solution of first order differential equations y=x(t,y) and functional equations y=x(t,y), with x CDF in two variables, are CDF-series. We

    also give many effective closure properties for CDF-series in several variables.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BeSa95,
  author = {Fran{\c{c}}ois {Bergeron} and Ulrike {Sattler}},
  journal = {Theoretical Computer Science},
  month = {June},
  number = {1-2},
  pages = {59--66},
  title = {Constructible differentially finite algebraic series in several variables},
  volume = {144},
  year = {1995},
}