1 projects found matching your search criteria :
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny