01575nas 2200505-a 450 99621724750331620230801213017.0(OCoLC)56719880(CKB)1000000000022961(CONSER)--2010252108(DE-599)ZDB2170262-7(EXLCZ)99100000000002296120041013a20059999 s-- -engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogical methods in computer science LMCSBraunschweig, Germany Technical University of BraunschweigRefereed/Peer-reviewed1860-5974 LMCSLOG. METHODS COMPUT. SCILOG METH COMPUT SCILOG. METH. COMPUT. SCILog. 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 Logic.JOURNAL996217247503316Logical methods in computer science2016901UNISA