01908oas 2200721 a 450 991014678300332120260218111543.0(DE-599)ZDB2170262-7(OCoLC)56719880(CONSER) 2010252108(CKB)1000000000022961(DE-599)2170262-7(EXLCZ)99100000000002296120041013a20059999 sy engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogical methods in computer science LMCSBraunschweig, Germany Technical University of BraunschweigRefereed/Peer-reviewed1860-5974 LMCSLog. methods comput. sci.Computer logicPeriodicalsComputer sciencePeriodicalsInformatiquePériodiquesLogique informatiquePériodiquesComputer logicfast(OCoLC)fst00872265Computer sciencefast(OCoLC)fst00872451Periodicals.fastComputer logicComputer scienceInformatiqueLogique informatiqueComputer logic.Computer science.International Federation of Computational LogicSNMSNMOCLCQMUQCUSBUFSYBOCLCQWAUHEBISOCLCQOCLCFOCLCQSRUOCLCQOCLCOOCLCQAUDOCLCLOCLCQJOURNAL9910146783003321Logical methods in computer science2016901UNINA