Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Pinto, Luis (autor)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (3/29)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Calling paradigms and the box calculusSanto, Jose Espırito; Pinto, Luis; Uustalu, TarmoEUTYPES-TYPES 2020 : Abstracts2020 / 2 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

artikkel kogumikus
2

artikkel kogumikus EST / artikkel kogumikus ENG

Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
3

artikkel ajakirjas EST / artikkel ajakirjas ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 4, kuvan 1 - 4

1. Pinto, Luis
2. Pinto, Luís
3. Pinto, Ana G.
4. Adriano, Luis
5. Aleixo, Luis
6. Barbosa, Luis Soares
7. Benites, Luis
8. Camarinha-Matos, Luis M.
9. Costa, Luis R.J.
10. Dominguez-Garcia, Jose Luis
11. Fernández Ramírez, Luis M.
12. Gil-Alana, Luis Alberiko
13. Gil-Alaña, Luís Albériko
14. Helguero Cruz, Jorge Luis
15. Hernandez, Luis
16. Herrera, Luis-Carlos
17. Lopes, Luis
18. Luis, Ana S.
19. Molina, José Luis
20. Morgado da Costa, Luis
21. Pastor, Luis
22. Pereira, Luis
23. Prieto, Luis P.
24. Rueda, Jose Luis
25. Ruivo, Luis
26. Sabino, Luis Gustavo
27. Santos, Luis F.

1. Helguero Cruz, Jorge Luis

1. Pedro, Luis

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu