Non-deterministic Matrices and their Applications for Non-classical Logics

01.04.2011 - 31.03.2013
Research funding project

People

Project leader

Project personnel

Institute

Grant funds

  • European Commission (EU) FP7 III. PEOPLE (Marie Curie Actions) 7.Rahmenprogramm für Forschung European Commission - Framework Programme European Commission Call identifier FP7-PEOPLE-2009-IEF Application number 252314

Research focus

  • Mathematical and Algorithmic Foundations: 100%

Publications