02713oas 2201009 a 450 991014241410332120251105213014.01465-363X(DE-599)ZDB1470328-2(DE-599)1470328-2(OCoLC)42455408(CONSER) 2004252114(CKB)954926991153(EXLCZ)9995492699115319990929a19909999 sy engurmn|||||||||txtrdacontentcrdamediacrrdacarrierJournal of logic and computation[Oxford, England] Oxford University PressRefereed/Peer-reviewed0955-792X Logic programmingPeriodicalsLogic, Symbolic and mathematicalPeriodicalsComputational complexityPeriodicalsProgrammation logiquePériodiquesLogique symbolique et mathématiquePériodiquesComplexité de calcul (Informatique)PériodiquesComputational complexityfast(OCoLC)fst00871991Logic programmingfast(OCoLC)fst01002056Logic, Symbolic and mathematicalfast(OCoLC)fst01002068LogicagttComputersgttDigital LifestyleukslcPeriodicals.fastLogic programmingLogic, Symbolic and mathematicalComputational complexityProgrammation logiqueLogique symbolique et mathématiqueComplexité de calcul (Informatique)Computational complexity.Logic programming.Logic, Symbolic and mathematical.Logica.Computers.Digital Lifestyle.004.015113IWAIWAOCLOCLCQWAUOCLCQOCLOCLCQOCLCEOCLCQOCLCOOCLCQOCLCFOCLCOEUWOCLCOOCLCQSTBDSRCEOCLCQNLEAU@UKMGBVT2SFBUEJOCLCQOCLCOOCLCQUABOCLCQOCLCLOCLCQJOURNAL9910142414103321Journal of logic and computation2373255UNINA