01281nam 2200385 450 99628006450331620230808201846.0(CKB)3710000001156730(WaSeSS)IndRDA00103760(WaSeSS)IndRDA00120246(EXLCZ)99371000000115673020200313d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science 5-8 July 2016, New York, NY, USA /sponsored by IEEE Computer Society [and seven others]Piscataway, New Jersey :Institute of Electrical and Electronics Engineers,2016.1 online resource (901 pages)1-4503-4391-0 Computer logicCongressesElectronic data processingCongressesComputer programmingCongressesComputer logicElectronic data processingComputer programming004.015113IEEE Computer Society,WaSeSSWaSeSSPROCEEDING9962800645033162016 31st Annual ACM2072142UNISA