Proving Productivity in Infinite Data Structures

Thumbnail Image

Files

Primary 84162.pdf (506.45 KB)

Date

2010

Authors

Zantema, H. Hans
Raffelsieper, M.

Journal Title

Journal ISSN

Volume Title

Publisher

Schloss Dagstuhl : Leibniz-Zentrum für Informatik

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/84162

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By