2,253 followers
#Computer #Info #OA Reasoning with global assumptions in arithmetic modal logics https://t.co/4Z8fDUm8Rb #Science #OpenAccess
#Computer #Info #OA Reasoning with global assumptions in arithmetic modal logics https://t.co/4Z8fDUm8Rb #Science #OpenAccess
"Towards Better #InapproximabilityBounds for TSP: A Challenge of #GlobalDependencies" by HCM member Marek Karpinski http://t.co/eHYqnKTIp4