Publikationsansicht

Ï � ÔÖ�×�ÒØ � ��Ô�Ò��ÒØÐÝ ØÝÔ� � �××�Ñ�ÐÝ Ð�Ò�Ù�� � �Ì�Ä �Ò Û� � � Ø� � ØÝÔ � ×Ýר�Ñ ×ÙÔÔÓÖØ × Ø� � Ù× � Ó � � Ö�×ØÖ � Ø�� (2008)

Abstract
�Ò�Ø�ÓÒ �Ð×Ó �Ì�Ä �ÓÖÑ�ÐÐÝ ���Ö�××� × Ø� � �××Ù � Ó � Ö�Ô Ö�×�ÒØ�Ò � ×ÙÑ ØÝÔ� × �Ø �××�Ñ�ÐÝ Ð�Ú�Ð Ñ���Ò � �Ø ×Ù�Ø��Ð� �ÓÖ ��Ò�Ð�Ò � ÒÓØ ÓÒÐÝ ��Ø�ØÝÔ� × �Ò ÅÄ �ÙØ �Ð×Ó ��Ô�Ò��ÒØ

Details der Publikation
Download http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.112.8589
Quelle http://www.cs.cmu.edu/~rwh/courses/refinements/papers/XiHarper01/icfp01.pdf
Mitarbeiter CiteSeerX
Archiv CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords Ð�Ö� � �Ò � ÓÑÔÐ�Ü Ì�ÓÙ� � �Ø � × ����ÐÝ ��×�Ö��Ð � ØÓ �ר��Ð�×�
Typ text
Sprache Englisch