Back to Search
Start Over
A tool proving well-definedness of streams using termination tools
- Source :
- Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, 449-456. Berlin / Heidelberg : Springer, STARTPAGE=449;ENDPAGE=456;ISSN=0302-9743;TITLE=Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, pp. 449-456
- Publication Year :
- 2009
-
Abstract
- Item does not contain fulltext Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, 07 september 2009
- Subjects :
- Data Science
Lecture Notes in Computer Science
Subjects
Details
- ISSN :
- 03029743
- Database :
- OpenAIRE
- Journal :
- Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009
- Accession number :
- edsair.dedup.wf.001..ff3c40b1420177cafca4902eb00e9c44