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
Otsing
Valitud kirjed
0
type theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/203)
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
203
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.
homotopy theory
115.
housemoney effect prospect theory
116.
iceberg theory of culture
117.
image theory
118.
information theory
119.
innovation theory
120.
institutional theory
121.
intellectual capital theory
122.
interdependence theory
123.
inverse problem theory/applications
124.
inverse problems theory/applications
125.
job search theory
126.
Lawvere theory
127.
layer-wise displacement theory
128.
linear systems theory
129.
maritime investment theory
130.
mechanism design theory
131.
middle-range theory
132.
modern portfolio theory
133.
network theory
134.
nonlinear shallow water theory
135.
nonlinear shallow-water theory
136.
nonlinear strip theory
137.
nonlinear theory
138.
normal torsion theory
139.
number theory
140.
organization theory
141.
organizational theory
142.
peer‐to‐peer theory
143.
perceived customer value theory
144.
phase field theory
145.
picture theory
146.
protection motivation theory
147.
proto-theory of design
148.
punctuated equilibrium theory
149.
rational choice theory
150.
real options theory
151.
realization theory
152.
reduction theory
153.
refined zigzag theory
154.
regulatory focus theory
155.
sampling theory
156.
scapegoat theory
157.
search and matching theory
158.
self-determination theory
159.
self-determination theory of work motivation
160.
set theory
161.
shallow water theory
162.
shallow‐water theory
163.
sign theory
164.
signalling theory
165.
social identity theory
166.
social practice theory
167.
social presence theory
168.
social representation theory
169.
social system theory
170.
social systems theory
171.
sociological curriculum theory
172.
speech-act theory
173.
stakeholder theory
174.
Stakeholder-oriented decision theory
175.
State Theory
176.
stimulus-organism-response theory
177.
stochastic learning theory
178.
strategic narrative theory
179.
strategic narrative theory
180.
Straussian theory model
181.
structuration theory
182.
switching theory
183.
synchronous reference frame theory
184.
system theory
185.
systems theory
186.
the RAT theory
187.
theory
188.
theory and practice of meta-modelling with application in healthcare
189.
theory of accounting
190.
Theory Of Constraints (TOC)
191.
theory of economic development
192.
theory of inventive problem solving (TRIZ)
193.
theory of natural disaster
194.
Theory of paradox
195.
theory of planned behavior
196.
theory of planned behaviour
197.
theory of signs
198.
theory of value
199.
time-dependent density functional theory (TD-DFT)
200.
unified theory of acceptance and use of technology
201.
value theory
202.
virtual disc theory
203.
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