LATPub76: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
Zeile 12: | Zeile 12: | ||
|Note= | |Note= | ||
|Number=1-2 | |Number=1-2 | ||
|Pages=59 | |Pages=59-66 | ||
|Publisher= | |Publisher= | ||
|Volume=144 | |Volume=144 |
Version vom 20. März 2015, 16:28 Uhr
„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“.
Constructible differentially finite algebraic series in several variables
François BergeronFrançois Bergeron, Ulrike SattlerUlrike Sattler

François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, 1995
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, andshow 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},
}