q=with+the+cooperation+of+the+ieee+computer+society+technical+committee+on+mathematical+foundations+of+computing&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=lixy&searchWay0=marc&logical0=AND
rows=10&curlibcode=lixy&searchWay0=marc&logical0=AND
with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing