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 8: | Zeile 8: | ||
|Title=Constructible differentially finite algebraic series in several variables | |Title=Constructible differentially finite algebraic series in several variables | ||
|Year=1995 | |Year=1995 | ||
|Month= | |Month=Juni | ||
|Journal=Theoretical Computer Science | |Journal=Theoretical Computer Science | ||
|Note= | |Note= | ||
| Zeile 18: | Zeile 18: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We extend the concept of CDF-series to the context of several variables, and | |Abstract=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. | ||
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. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 41: | Zeile 37: | ||
year = {1995}, | year = {1995}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
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, June 1995
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 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},
}
