02362nas 2200697-a 450 99621588300331620230215213018.01557-945X(DE-599)ZDB2025647-4(OCoLC)45535868(CKB)110990112650260(CONSER)--2005214027(EXLCZ)9911099011265026020001211a20009999 s-- aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierACM transactions on computational logicNew York, NY Association for Computing MachineryRefereed/Peer-reviewed1529-3785 Association for Computing Machinery transactions on computational logicComputational logicTransactions on computational logicTOCLACM TRANS COMPUT LOGACM T COMPUT LOGACM TRANS. COMPUT. LOGICACM TRANS. COMPUT. LOGACM trans. comput. logicComputer logicPeriodicalsLogic, Symbolic and mathematicalPeriodicalsComputer scienceMathematicsPeriodicalsLogique informatiquePériodiquesLogique symbolique et mathématiquePériodiquesInformatiqueMathématiquesPériodiquesComputer logicfast(OCoLC)fst00872265Computer scienceMathematicsfast(OCoLC)fst00872460Logic, Symbolic and mathematicalfast(OCoLC)fst01002068InformaticagttLogicagttPeriodicals.fastComputer logicLogic, Symbolic and mathematicalComputer scienceMathematicsLogique informatiqueLogique symbolique et mathématiqueInformatiqueMathématiquesComputer logic.Computer scienceMathematics.Logic, Symbolic and mathematical.Informatica.Logica.004Association for Computing Machinery.JOURNAL996215883003316ACM Transactions on computational logic1112788UNISA