01957nam 2200493zu 450 991037636480332120210807005135.0(CKB)3780000000085347(SSID)ssj0001455748(PQKBManifestationID)11821192(PQKBTitleCode)TC0001455748(PQKBWorkID)11407769(PQKB)10158286(WaSeSS)IndRDA00037878(Association for Computing Machinery)10.1145/2603088(EXLCZ)99378000000008534720160829d2014 uy engur|||||||||||txtccrProceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS[Place of publication not identified]ACM20141 online resource (764 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4503-2886-5 ACM ConferencesJoint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria - July 14-18, 2014CSL-LICS '14Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceHenzinger Thomas905879Henzinger ThomasMiller DaleAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376364803321Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM2026175UNINA