00974oam 2200313zu 450 99620068420331620210807003530.0(CKB)111055184227364(SSID)ssj0000454850(PQKBManifestationID)12194223(PQKBTitleCode)TC0000454850(PQKBWorkID)10398237(PQKB)10914578(EXLCZ)9911105518422736420160829d2002 uy engtxtccr17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)[Place of publication not identified]IEEE Computer Society Press2002Bibliographic Level Mode of Issuance: Monograph0-7695-1483-9 IEEE StaffPQKBPROCEEDING99620068420331617th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)2383887UNISA