LEADER 02795oas 2200961 a 450 001 9910134503403321 005 20260127110052.0 011 $a1557-945X 035 $a(DE-599)ZDB2025647-4 035 $a(OCoLC)45535868 035 $a(CONSER) 2005214027 035 $a(CKB)110990112650260 035 $a(DE-599)2025647-4 035 $a(EXLCZ)99110990112650260 100 $a20001211a20009999 sy a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aACM transactions on computational logic 210 $aNew York, NY $cAssociation for Computing Machinery 300 $aRefereed/Peer-reviewed 311 08$a1529-3785 517 3 $aAssociation for Computing Machinery transactions on computational logic 517 3 $aComputational logic 517 3 $aTransactions on computational logic 517 1 $aTOCL 531 0 $aACM trans. comput. logic 606 $aComputer logic$vPeriodicals 606 $aLogic, Symbolic and mathematical$vPeriodicals 606 $aComputer science$xMathematics$vPeriodicals 606 $aLogique informatique$vPe?riodiques 606 $aLogique symbolique et mathe?matique$vPe?riodiques 606 $aInformatique$xMathe?matiques$vPe?riodiques 606 $aComputer logic$2fast$3(OCoLC)fst00872265 606 $aComputer science$xMathematics$2fast$3(OCoLC)fst00872460 606 $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068 606 $aInformatica$2gtt 606 $aLogica$2gtt 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aComputer logic 615 0$aLogic, Symbolic and mathematical 615 0$aComputer science$xMathematics 615 6$aLogique informatique 615 6$aLogique symbolique et mathe?matique 615 6$aInformatique$xMathe?matiques 615 7$aComputer logic. 615 7$aComputer science$xMathematics. 615 7$aLogic, Symbolic and mathematical. 615 17$aInformatica. 615 17$aLogica. 676 $a004 712 02$aAssociation for Computing Machinery, 801 0$bUV$ 801 1$bUV$ 801 2$bOCLCQ 801 2$bYPM 801 2$bOCLCQ 801 2$bNSD 801 2$bKSU 801 2$bOCLCQ 801 2$bOCLCE 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bVT2 801 2$bOCLCQ 801 2$bOCLCA 801 2$bUUM 801 2$bOCLCO 801 2$bOCLCQ 801 2$bCNKUC 801 2$bUMC 801 2$bU3W 801 2$bWAU 801 2$bOCLCL 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910134503403321 996 $aACM Transactions on computational logic$91112788 997 $aUNINA