Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Pinto, Luis (autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
Leitud autorid
Pinto, Luis
autor
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
3
Vaata veel..
(3/22)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
artikkel ajakirjas
2
artikkel kogumikus
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
3
artikkel kogumikus
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
artikkel kogumikus
Kirjeid leitud 3, kuvan
1 - 3
autor
18
1.
Pinto, Luis
2.
Adriano, Luis
3.
Aleixo, Luis
4.
Barbosa, Luis Soares
5.
Benites, Luis
6.
Camarinha-Matos, Luis M.
7.
Costa, Luis R.J.
8.
Dominguez-Garcia, Jose Luis
9.
Gil-Alana, Luis Alberiko
10.
Herrera, Luis-Carlos
11.
Lopes, Luis
12.
Morgado da Costa, Luis
13.
Pastor, Luis
14.
Pereira, Luis
15.
Pinto, Ana G.
16.
Prieto, Luis P.
17.
Rueda, Jose Luis
18.
Santos, Luis F.
pealkiri
3
1.
Blyth, T.S.; Pinto, G.A. Residuated completely simple semigroups. Algebra Colloq. 21, No. 2, 181-194 (2014) : [review]
2.
Sotsiaalse meedia vahendid ja rakendused kõrghariduses : [Portugali Aveiro Ülikooli dotsent Luis Pedro peab IT Kolledžis loengu]
3.
[Toimus TTÜs Rahvusvahelise Kriminaalkohtu peaprokuröri Luis Moreno-Ocampo ja aseprokuröri Fatou Bensouda avalik loeng. Toimus TTÜs USA äriinkubaatori US Market Access Centeri direktori Chris Burry loeng : fotod allkirjadega]
tema kohta
1
1.
Pedro, Luis