Mihálydeák, TamásVályi, Sándor2010-01-152010-01-152008http://hdl.handle.net/2437/91206-122huAxiomatizabilityaxiomatizálhatóságspatio-temporal theoriesspatio-temporálisInvestigations Into Non-classical Logic(Axiomatizability of Spatio-temporal Theories and Complexity of Interval-valued Computations)Nem-klasszikus logikai vizsgálódásokMatematika- és számítástudományokTermészettudományok