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/244)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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
244
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.
DyP-type peroxidases
17.
effect of cellulose type and DP
18.
electrode type
19.
entity type
20.
external wall type
21.
flow of the “gas–solid particles” type
22.
fluorite-type fluorides
23.
Gauss-Newton-type methods
24.
Gauss–Newton-type methods
25.
generalized Kantorovich-type sampling operators
26.
grounding type
27.
hypercholesterolemia type II
28.
ideal type
29.
industry type
30.
massive machine type communication (mMTC)
31.
massive machine-type communication (mMTC)
32.
massive machine-type communication devices (mMTC)
33.
massive machine-type communications (mMTC)
34.
massive Machine-Type connections (mMTC)
35.
mixed type building
36.
multi-type dislocation substructure
37.
narcolepsy type 1
38.
optical water type
39.
Piston type wave maker
40.
porcine circovirus type 2 (PCV2) ORF3
41.
porcine circovirus type-2
42.
proprotein convertase subtilisin/kexin type 9
43.
proprotein convertase subtilisin−kexin type (9PCSK9)
44.
p-type
45.
p-type 4H-SiC
46.
p-type transparent semiconductor
47.
quasi-impedance-source inverter (3L-T-type qZS inverter)
48.
quasi-impedance-source T-type inverters
49.
recurrence type
50.
Reetz-Keck-type allylation
51.
Rogosinski-type approximation processes
52.
R-type anion currents
53.
ryanodine receptor type-2 (RyR)
54.
singular integral of Fejér's type
55.
spoke-type PM machine
56.
Swiss-type cheese
57.
three-level T-type
58.
three-level T-type inverter
59.
timber saddle-shaped (hypar-type) shell roof
60.
transparent p-type electrode
61.
T-type inverter
62.
type
63.
type 2 diabetes mellitus
64.
type I collagen
65.
type Q semigroups
66.
type V hyperlipidemia
67.
type vs. occurrence-referential notations
68.
type vs. occurrence-referentiality
69.
type-2-diabetes
70.
type-driven development
71.
WordNet type dictionaries
72.
3-level T-type inverter
73.
a coherent theory of proofs
74.
activity theory
75.
adaptive structuration theory (AST)
76.
algebraic number theory
77.
algebraic theory
78.
algorithm design and theory
79.
beam theory
80.
behavioral reasoning theory
81.
bicategory theory
82.
Biot theory
83.
Bond theory
84.
Boolean Algebra Meets Graph-Theory
85.
catastrophe theory
86.
category theory
87.
chaos theory
88.
coding theory
89.
cognitive theory
90.
commitment theory
91.
communication channels (information theory)
92.
Complex systems theory
93.
complexity leadership theory
94.
complexity theory
95.
computation theory
96.
computer softwaregraph theory
97.
conservation of resources theory
98.
Consumer Culture Theory
99.
control and systems theory
100.
control theory
101.
Cooper-Helmstetter cell cycle theory
102.
cosmology theory
103.
cosmology: theory
104.
critical theory of technology
105.
cultural theory of international relations
106.
dark matter theory
107.
decision theory
108.
Dempster-Shafer theory
109.
Demster-Shafer Theory
110.
density functional theory
111.
density functional theory (DFT)
112.
design theory
113.
Dezert–Smarandache theory
114.
development theory
115.
Digital Government Theory: Development and Application
116.
dispersive theory
117.
domain theory
118.
dual-process theory
119.
ecological systems theory
120.
economic theory
121.
end of theory
122.
energetic impact theory
123.
engaged theory
124.
enriched category theory
125.
Euler Bernoulli beams theory
126.
evolutionary theory of policy capacity
127.
Flow theory
128.
formal category theory
129.
formal language theory
130.
fully nonlinear potential theory
131.
game theory
132.
general systems theory
133.
general theory of information transfer
134.
general vibration theory
135.
graph theory
136.
gravitational waves / theory
137.
grounded theory
138.
group theory
139.
group threat theory
140.
higher-order beam theory
141.
History and Theory
142.
homotopy theory
143.
housemoney effect prospect theory
144.
iceberg theory of culture
145.
image theory
146.
information theory
147.
innovation theory
148.
institutional theory
149.
intellectual capital theory
150.
interdependence theory
151.
inverse problem theory/applications
152.
inverse problems theory/applications
153.
job search theory
154.
language theory
155.
Lawvere theory
156.
layer-wise displacement theory
157.
linear systems theory
158.
macro-foundational theory
159.
maritime investment theory
160.
mechanism design theory
161.
meso-foundational theory
162.
micro-foundational theory
163.
middle-range theory
164.
mindlin plate theory
165.
modern portfolio theory
166.
network theory
167.
nonlinear shallow water theory
168.
nonlinear shallow-water theory
169.
nonlinear strip theory
170.
nonlinear theory
171.
normal torsion theory
172.
number theory
173.
organismic integration theory
174.
organization theory
175.
organizational theory
176.
peer‐to‐peer theory
177.
perceived customer value theory
178.
phase field theory
179.
picture theory
180.
protection motivation theory
181.
proto-theory of design
182.
public administration theory
183.
punctuated equilibrium theory
184.
rational choice theory
185.
real options theory
186.
realization theory
187.
reduction theory
188.
refined zigzag theory
189.
regulatory focus theory
190.
sampling theory
191.
scapegoat theory
192.
search and matching theory
193.
self-determination theory
194.
self-determination theory of work motivation
195.
set theory
196.
shallow water theory
197.
shallow‐water theory
198.
sign theory
199.
signalling theory
200.
social exchange theory
201.
social identity theory
202.
social practice theory
203.
social presence theory
204.
social representation theory
205.
social system theory
206.
social systems theory
207.
sociological curriculum theory
208.
S-O-R theory
209.
speech-act theory
210.
stakeholder theory
211.
Stakeholder-oriented decision theory
212.
State Theory
213.
stimulus-organism-response theory
214.
stochastic learning theory
215.
strategic narrative theory
216.
strategic narrative theory
217.
Straussian theory model
218.
structuration theory
219.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
220.
switching theory
221.
synchronous reference frame theory
222.
system theory
223.
systems theory
224.
the RAT theory
225.
theory
226.
theory and practice of meta-modelling with application in healthcare
227.
theory building
228.
theory of accounting
229.
Theory of computation
230.
Theory Of Constraints (TOC)
231.
theory of economic development
232.
theory of inventive problem solving (TRIZ)
233.
theory of natural disaster
234.
Theory of paradox
235.
theory of planned behavior
236.
theory of planned behaviour
237.
theory of signs
238.
theory of value
239.
theory selection
240.
time-dependent density functional theory (TD-DFT)
241.
unified theory of acceptance and use of technology
242.
value theory
243.
virtual disc theory
244.
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