Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
type theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/202)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Type-theoretic constructions of the final coalgebra of the finite powerset functor
Veltri, Niccolo
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 22:1-22:18
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
202
1.
dependent type theory
2.
homotopy type theory
3.
ticked cubical type theory
4.
type theory
5.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
6.
Abel type integral equations
7.
atrium-type buildings
8.
Blackman- and Rogosinski-type approximation processes
9.
Blackman-type approximation processes
10.
Boussinesq-type equation
11.
Boussinesq-type equations
12.
case-type furniture
13.
cell type-specific gene expression
14.
cosine-type approximation processes
15.
direct matrix type
16.
electrode type
17.
entity type
18.
flow of the “gas–solid particles” type
19.
fluorite-type fluorides
20.
Gauss-Newton-type methods
21.
Gauss–Newton-type methods
22.
generalized Kantorovich-type sampling operators
23.
grounding type
24.
ideal type
25.
massive machine-type communication (mMTC)
26.
massive machine-type communications (mMTC)
27.
massive Machine-Type connections (mMTC)
28.
mixed type building
29.
multi-type dislocation substructure
30.
narcolepsy type 1
31.
optical water type
32.
Piston type wave maker
33.
porcine circovirus type 2 (PCV2) ORF3
34.
porcine circovirus type-2
35.
proprotein convertase subtilisin/kexin type 9
36.
proprotein convertase subtilisin−kexin type (9PCSK9)
37.
p-type 4H-SiC
38.
p-type transparent semiconductor
39.
quasi-impedance-source inverter (3L-T-type qZS inverter)
40.
quasi-impedance-source T-type inverters
41.
Reetz-Keck-type allylation
42.
Rogosinski-type approximation processes
43.
R-type anion currents
44.
singular integral of Fejér's type
45.
three-level T-type
46.
three-level T-type inverter
47.
timber saddle-shaped (hypar-type) shell roof
48.
transparent p-type electrode
49.
T-type inverter
50.
type 2 diabetes mellitus
51.
type I collagen
52.
type Q semigroups
53.
type V hyperlipidemia
54.
type vs. occurrence-referential notations
55.
type vs. occurrence-referentiality
56.
type-2-diabetes
57.
WordNet type dictionaries
58.
3-level T-type inverter
59.
a coherent theory of proofs
60.
activity theory
61.
adaptive structuration theory (AST)
62.
algebraic number theory
63.
algebraic theory
64.
algorithm design and theory
65.
beam theory
66.
bicategory theory
67.
catastrophe theory
68.
category theory
69.
chaos theory
70.
coding theory
71.
cognitive theory
72.
commitment theory
73.
communication channels (information theory)
74.
complexity leadership theory
75.
complexity theory
76.
computation theory
77.
computer softwaregraph theory
78.
conservation of resources theory
79.
Consumer Culture Theory
80.
control theory
81.
Cooper-Helmstetter cell cycle theory
82.
cosmology: theory
83.
critical theory of technology
84.
cultural theory of international relations
85.
dark matter theory
86.
decision theory
87.
Dempster-Shafer theory
88.
Demster-Shafer Theory
89.
density functional theory
90.
design theory
91.
development theory
92.
Digital Government Theory: Development and Application
93.
dispersive theory
94.
domain theory
95.
ecological systems theory
96.
economic theory
97.
end of theory
98.
energetic impact theory
99.
evolutionary theory of policy capacity
100.
Flow theory
101.
formal language theory
102.
fully nonlinear potential theory
103.
game theory
104.
general systems theory
105.
general theory of information transfer
106.
general vibration theory
107.
graph theory
108.
gravitational waves / theory
109.
grounded theory
110.
group theory
111.
group threat theory
112.
higher-order beam theory
113.
History and Theory
114.
housemoney effect prospect theory
115.
iceberg theory of culture
116.
image theory
117.
information theory
118.
innovation theory
119.
institutional theory
120.
intellectual capital theory
121.
interdependence theory
122.
inverse problem theory/applications
123.
inverse problems theory/applications
124.
job search theory
125.
Lawvere theory
126.
layer-wise displacement theory
127.
linear systems theory
128.
maritime investment theory
129.
mechanism design theory
130.
middle-range theory
131.
modern portfolio theory
132.
network theory
133.
nonlinear shallow water theory
134.
nonlinear shallow-water theory
135.
nonlinear strip theory
136.
nonlinear theory
137.
normal torsion theory
138.
number theory
139.
organization theory
140.
organizational theory
141.
peer‐to‐peer theory
142.
perceived customer value theory
143.
phase field theory
144.
picture theory
145.
protection motivation theory
146.
proto-theory of design
147.
punctuated equilibrium theory
148.
rational choice theory
149.
real options theory
150.
realization theory
151.
reduction theory
152.
refined zigzag theory
153.
regulatory focus theory
154.
sampling theory
155.
scapegoat theory
156.
search and matching theory
157.
self-determination theory
158.
self-determination theory of work motivation
159.
set theory
160.
shallow water theory
161.
shallow‐water theory
162.
sign theory
163.
signalling theory
164.
social identity theory
165.
social practice theory
166.
social presence theory
167.
social representation theory
168.
social system theory
169.
social systems theory
170.
sociological curriculum theory
171.
speech-act theory
172.
stakeholder theory
173.
Stakeholder-oriented decision theory
174.
State Theory
175.
stimulus-organism-response theory
176.
stochastic learning theory
177.
strategic narrative theory
178.
strategic narrative theory
179.
Straussian theory model
180.
structuration theory
181.
switching theory
182.
synchronous reference frame theory
183.
system theory
184.
systems theory
185.
the RAT theory
186.
theory
187.
theory and practice of meta-modelling with application in healthcare
188.
theory of accounting
189.
Theory Of Constraints (TOC)
190.
theory of economic development
191.
theory of inventive problem solving (TRIZ)
192.
theory of natural disaster
193.
Theory of paradox
194.
theory of planned behavior
195.
theory of planned behaviour
196.
theory of signs
197.
theory of value
198.
time-dependent density functional theory (TD-DFT)
199.
unified theory of acceptance and use of technology
200.
value theory
201.
virtual disc theory
202.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT