Describing and Reasoning about Sorting Networks
Paper i proceeding, 2003
Författare
Mary Sheeran
Chalmers, Institutionen för datavetenskap, Formella metoder
Invited talk at 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, Finland, October 2003
Ämneskategorier
Data- och informationsvetenskap