LEADER 02713oas 2201009 a 450 001 9910142414103321 005 20251105213014.0 011 $a1465-363X 035 $a(DE-599)ZDB1470328-2 035 $a(DE-599)1470328-2 035 $a(OCoLC)42455408 035 $a(CONSER) 2004252114 035 $a(CKB)954926991153 035 $a(EXLCZ)99954926991153 100 $a19990929a19909999 sy 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aJournal of logic and computation 210 $a[Oxford, England] $cOxford University Press 300 $aRefereed/Peer-reviewed 311 08$a0955-792X 606 $aLogic programming$vPeriodicals 606 $aLogic, Symbolic and mathematical$vPeriodicals 606 $aComputational complexity$vPeriodicals 606 $aProgrammation logique$vPe?riodiques 606 $aLogique symbolique et mathe?matique$vPe?riodiques 606 $aComplexite? de calcul (Informatique)$vPe?riodiques 606 $aComputational complexity$2fast$3(OCoLC)fst00871991 606 $aLogic programming$2fast$3(OCoLC)fst01002056 606 $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068 606 $aLogica$2gtt 606 $aComputers$2gtt 606 $aDigital Lifestyle$2ukslc 608 $aPeriodicals.$2fast 615 0$aLogic programming 615 0$aLogic, Symbolic and mathematical 615 0$aComputational complexity 615 6$aProgrammation logique 615 6$aLogique symbolique et mathe?matique 615 6$aComplexite? de calcul (Informatique) 615 7$aComputational complexity. 615 7$aLogic programming. 615 7$aLogic, Symbolic and mathematical. 615 17$aLogica. 615 17$aComputers. 615 7$aDigital Lifestyle. 676 $a004.015113 801 0$bIWA 801 1$bIWA 801 2$bOCL 801 2$bOCLCQ 801 2$bWAU 801 2$bOCLCQ 801 2$bOCL 801 2$bOCLCQ 801 2$bOCLCE 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bEUW 801 2$bOCLCO 801 2$bOCLCQ 801 2$bSTBDS 801 2$bRCE 801 2$bOCLCQ 801 2$bNLE 801 2$bAU@ 801 2$bUKMGB 801 2$bVT2 801 2$bSFB 801 2$bUEJ 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bUAB 801 2$bOCLCQ 801 2$bOCLCL 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910142414103321 996 $aJournal of logic and computation$92373255 997 $aUNINA