02654nas 22007213 450 991087274230332120230125185710.0(OCoLC)596437076(CKB)110978979121249(CONSER)--2017202957(EXLCZ)9911097897912124920100402a19869999 --- aengurbn||||||abpurbn||||||adatxtrdacontentcrdamediacrrdacarrierProceedings /Symposium on Logic in Computer ScienceWashington, D.C. IEEE Computer Society Press©1986-Published: Los Alamitos, CA, 1990-1043-6871 Logic in computer scienceLICSSYMPOSIUM ON LOGIC IN COMPUTER SCIENCEProc. - Symp. Logic Comput. Sci.Electronic data processingCongressesComputer programmingCongressesLogic, Symbolic and mathematicalCongressesComputer programsCorrectnessCongressesLogicielsExactitudeCongrèsLogique symbolique et mathématiqueCongrèsProgrammation (Informatique)CongrèsComputer programmingfast(OCoLC)fst00872390Computer programsCorrectnessfast(OCoLC)fst00872413Electronic data processingfast(OCoLC)fst00906956Logic, Symbolic and mathematicalfast(OCoLC)fst01002068InformaticagttLogicagttPeriodicals.fastConference papers and proceedings.fastElectronic data processingComputer programmingLogic, Symbolic and mathematicalComputer programsCorrectnessLogicielsExactitudeLogique symbolique et mathématiqueProgrammation (Informatique)Computer programming.Computer programsCorrectness.Electronic data processing.Logic, Symbolic and mathematical.Informatica.Logica.004/.01/5113IEEE Computer Society.Technical Committee on Mathematical Foundations of Computing.Association for Symbolic Logic.ACM Special Interest Group for Automata and Computability Theory.European Association for Theoretical Computer Science.CONFERENCE9910872742303321Proceedings57126UNINA