Netvouz / listbook / tag / pratt http://netvouz.com/listbook/tag/pratt?feed=rss listbook's bookmarks tagged "pratt" on Netvouz Partially-Ordered Multisets (Vaughn Pratt)- ijpp.ps.gz http://boole.stanford.edu/pub/ijpp.ps.gz ... > ... > ... listbook Sun, 30 Jul 2006 12:50:20 GMT