Refining Infinite Stream Behaviours by Bound Functions.
Title | Refining Infinite Stream Behaviours by Bound Functions. |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Dosch, W |
Bibtex:
@article {669, title = {Refining Infinite Stream Behaviours by Bound Functions.}, year = {2000}, note = {In: W. Goerigk (Hrsg.): Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten. 17. Workshop der GI-Fachgruppe 2.1.4, Bad Honnef, 8.-10. Mai 2000. Bericht 2007, Institut f{\"u}r Informatik und Praktische Mathematik, Christian-Albrechts-Universit{\"a}t zu Kiel 2000, 131-140}, author = {W. Dosch} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact