Projects funded by the NCN

Information on the principal investigator and host institution

Host institution [PL]

City/town [PL]

Voivodeship

Principal investigator

Sex

Academic degree/title

Information of the project and the call

Project status

Project ID

Amount awarded (PLN)

Type of call

Call

Research domain

Panel

Keywords

Keywords

Equipment

Name of equipment [PL]

Show only projects involving equipment

Delete all

Search results

1 projects found matching your search criteria :

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy