Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
semantika (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
90
Look more..
(1/1)
Export
export all inquiry results
(90)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
26
book article EST
/
book article ENG
Extended clusters of vertical polysemy : an explorative study of eleven wordnets
Lohk, Ahti
;
Vainik, Ene
;
Paulsen, Geda
;
Rebane, Martin
;
Bond, Francis
Eesti Rakenduslingvistika Ühingu aastaraamat 2021 = Estonian Papers in Applied Linguistics 2021
2021
/
p. 193-210 : ill
https://doi.org/10.5128/ERYa17.11
https://www.ester.ee/record=b2033361*est
Journal metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
27
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
2020
/
p. 270–283
https://doi.org/10.1145/3372885.3373814
book article
28
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
book article
29
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
30
journal article EST
/
journal article ENG
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
31
book
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
book
32
book article
Higher-order attribute semantics of flat declarative languages
Grigorenko, Pavel
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
2008
/
p. 37-39 : ill
https://artiklid.elnet.ee/record=b1072901*est
book article
33
book article
Higher-order attribute semantics of flat languages
Grigorenko, Pavel
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 97-100 : ill
book article
34
dissertation
Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantika
Grigorenko, Pavel
2010
https://digi.lib.ttu.ee/i/?510
https://www.ester.ee/record=b2637394*est
dissertation
35
book article
How the apriori algorithm can help to find semantic duplicates in ontology
Astrova, Irina
;
Koschel, Arne
;
Lee, Su Ling
Knowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020
2020
/
p. 178-191
https://doi.org/10.1007/978-3-030-53949-8_16
book article
36
book article EST
/
book article ENG
Intelligent information technology for organizing swimming competitions
Hnatchuk, Yaroslav
;
Hnatchuk, Alina
;
Hlukhov, Ivan
;
Karatnyk, Ivan
;
Boyarchuk, Artem
IntelITSIS 2022 : Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 23-25, 2022
2022
/
p. 294-304
https://ceur-ws.org/Vol-3156/paper22.pdf
https://ceur-ws.org/Vol-3156/
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
37
book article
Kuidas me mõistame mõisteid?
Vainik, Ene
;
Kirt, Toomas
Eesti Rakenduslingvistika Ühingu aastaraamat. 4
2008
/
lk. 225-245 : ill
https://artiklid.elnet.ee/record=b2117016*est
book article
38
journal article EST
/
journal article ENG
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Journal of philosophical logic
2018
/
[33] p. : ill
https://doi.org/10.1007/s10992-017-9454-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
39
book article
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
book article
40
journal article EST
/
journal article ENG
Meaning and affect in the placebo effect
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
;
Grecucci, Alessandro
The Journal of Medicine and Philosophy : A Forum for Bioethics and Philosophy of Medicine
2021
/
p. 313–329
https://doi.org/10.1093/jmp/jhab002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
41
book article
Mechatronics modeling methodology and semantic orientated knowledge base
Sell, Raivo
;
Seiler, Sven
Annals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria
2009
/
p. 1723-1724 : ill
book article
42
book article EST
/
book article ENG
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
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
43
journal article
Naatan Kvarki raamaturiiul
Agur, Ustus
Horisont
1975
/
lk. 34
https://www.ester.ee/record=b1072243*est
http://www.digar.ee/id/nlib-digar:291316
https://www.ester.ee/record=b1177613*est
journal article
44
book article
New polysemy structures in Wordnets induced by vertical polysemy
Lohk, Ahti
;
Orav, Heili
;
Vare, Kadri
;
Bond, Francis
;
Vaik, Rasmus
Proceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland
2019
/
p. 394-403
https://clarin-pl.eu/dspace/handle/11321/718
"scopus"
book article
45
book article EST
/
book article ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
46
book article EST
/
book article ENG
An ontology engineering case study for advanced digital forensic analysis
Chikul, Pavel
;
Bahsi, Hayretdin
;
Maennel, Olaf Manuel
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 67–74
https://doi.org/10.1007/978-3-030-78428-7_6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
47
book article
Ontology-based development of location based services
Haav, Hele-Mai
;
Kaljuvee, Aivi
;
Luts, Martin
;
Vajakas, Toivo
Databases and Information Systems : proceedings of the Ninth International Baltic Conference, Baltic DB&IS 2010 : Riga, Latvia, July 5-7, 2010
2010
/
p. 11-26 : ill
book article
48
dissertation
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
2020
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
dissertation
49
book article
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 40-43
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
book article
50
journal article EST
/
journal article ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 90, displaying
26 - 50
previous
1
2
3
4
next
subject term
1
1.
semantika
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT