(Co)归纳的现实性和充分性

乌尔里希·伯杰(Co)归纳的现实性和充分性安德烈·鲍尔彼得·赫特林Ker-I Ko公司,编辑,第六届国际可计算性和分析复杂性会议,2009年8月18日至22日,斯洛文尼亚卢布尔雅那,CCA 2009第09003卷,共页达格斯图尔研讨会记录德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl,2009 [doi]

摘要

缺少摘要。