Report icon

Report

Stream Differential Equations: concrete formats for coinductive definitions

Abstract:

In this article we give an accessible introduction to stream differential equations, i.e., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that any system of equations that fits into the format has a unique solution. It turns out that the stream functions that can be defined using our format are precisely the causal stream functions. Fina...

Expand abstract

Actions


Access Document


Files:

Authors


Publication date:
2011-01-01
URN:
uuid:12489d5c-3163-4ba5-b933-6885e810bc1e
Local pid:
cs:5593

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP