Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Uustalu, Tarmo - supervisor
find full texts
Apply
items found: 7
1.
Certification of Context-Free Grammar Algorithms. Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
31.08.2016
dissertations
2.
Operational Semantics of Weak Sequential Composition. Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
26.06.2020
dissertations
3.
Intuitsionistliku lauseloogika tõestuste otsingu ja kontramudelite ehitamise formaalne verifitseerimine. Formal Verification of Proof Search and Countermodel Construction for Intuitionistic Propositional Logic
Nõojärv, Liisi
05.06.2026
master's theses
4.
Logics for Low-Level Code and Proof-Preserving Program Transformations. Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Saabas, Ando
14.11.2008
dissertations
5.
Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine. Certification of effect-analysis based program transformations
Talvik, Tõnn
02.06.2017
master's theses
6.
Proof Theory of Semi-Substructural Logics. Pool-allstruktuursete loogikate tõestusteooria
Wan, Cheng-Syuan
25.06.2025
dissertations
7.
A Type-Theoretical Study of Nontermination. Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolò
26.05.2017
dissertations
items found: 7
1