Mihálydeák, TamásVályi, Sándor2009-03-092009-03-092008http://hdl.handle.net/2437/79549-122 oldalhunem-klasszikus logikanon-classical logicspatio-temporális elméletekspatio-temporal theoriesáltalánosított intervallum-számítások bonyolultságacomplexity of interval-valued computationsInvestigations into Non-classical LogicAxiomatizability of Spatio-temporal Theories and Complexity of Interval-valued ComputationsNem-klasszikus logikai vizsgálódásokInformatikai tudományokMűszaki tudományok