Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
11
4
H-indeks
2
1
i10-indeks
0
0
0
4
2
2014
2015
2016
2017
2018
2019
2020
1
3
1
2
1
3
Javni pristup
Prikaži sve
Prikaži sve
1 članak
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
Giuseppe Primiero
Department of Philosophy, University of Milan
Potvrđena adresa e-pošte na unimi.it
Prati
Konstantinos Pouliasis
CUNY Graduate Center
Potvrđena adresa e-pošte na gradcenter.cuny.edu -
Početna stranica
Modal Logic
Justification Logic
Type Theory
Programming Languages
Članci
Citirano
Javni pristup
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
J-Calc: A typed lambda calculus for Intuitionistic Justification Logic
K Pouliasis, G Primiero
Electronic Notes in Theoretical Computer Science 300, 71-87
, 2014
8
2014
A Curry–Howard view of basic justification logic
K Pouliasis
International Workshop on Logic, Language, Information, and Computation, 316-337
, 2016
2
2016
Relating justification logic modality and type theory in Curry-Howard fashion
K Pouliasis
City University of New York
, 2018
1
2018
Justification Logic And Type Theory: First Steps Towards Justified Typed Modality
K Pouliasis
2014
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje