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
dependent 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
3
Vaata veel..
(1/243)
Ekspordi
ekspordi kõik päringu tulemused
(3)
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 ajakirjas
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolo
;
Weide, Niels van der
arXiv.org
2020
/
32 p
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
artikkel ajakirjas
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolò
;
Weide, Niels van der
Mathematical Structures in Computer Science
2022
https://doi.org/10.1017/S0960129522000032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
243
1.
dependent type theory
2.
time-dependent density functional theory (TD-DFT)
3.
homotopy type theory
4.
ticked cubical type theory
5.
type theory
6.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
7.
activity-dependent
8.
calcium/calmodulin-dependent kinase kinase 2 (CaMKKb)
9.
cAMP-dependent protein kinase
10.
depth-dependent roughness
11.
frequency-dependent attenuation
12.
groundwater dependent ecosystems
13.
Rho-dependent protein kinase
14.
scale-dependent processes
15.
space-dependent coefficients
16.
space-dependent diffusivity
17.
time-dependent drift
18.
voltage dependent anion channel
19.
voltage-dependent anion channel VDAC
20.
Abel type integral equations
21.
atrium-type buildings
22.
Blackman- and Rogosinski-type approximation processes
23.
Blackman-type approximation processes
24.
Boussinesq-type equation
25.
Boussinesq-type equations
26.
case-type furniture
27.
cell type-specific gene expression
28.
cosine-type approximation processes
29.
direct matrix type
30.
DyP-type peroxidases
31.
effect of cellulose type and DP
32.
electrode type
33.
entity type
34.
flow of the “gas–solid particles” type
35.
fluorite-type fluorides
36.
Gauss-Newton-type methods
37.
Gauss–Newton-type methods
38.
generalized Kantorovich-type sampling operators
39.
grounding type
40.
hypercholesterolemia type II
41.
ideal type
42.
industry type
43.
massive machine type communication (mMTC)
44.
massive machine-type communication (mMTC)
45.
massive machine-type communications (mMTC)
46.
massive Machine-Type connections (mMTC)
47.
mixed type building
48.
multi-type dislocation substructure
49.
narcolepsy type 1
50.
optical water type
51.
Piston type wave maker
52.
porcine circovirus type 2 (PCV2) ORF3
53.
porcine circovirus type-2
54.
proprotein convertase subtilisin/kexin type 9
55.
proprotein convertase subtilisin−kexin type (9PCSK9)
56.
p-type 4H-SiC
57.
p-type transparent semiconductor
58.
quasi-impedance-source inverter (3L-T-type qZS inverter)
59.
quasi-impedance-source T-type inverters
60.
recurrence type
61.
Reetz-Keck-type allylation
62.
Rogosinski-type approximation processes
63.
R-type anion currents
64.
singular integral of Fejér's type
65.
Swiss-type cheese
66.
three-level T-type
67.
three-level T-type inverter
68.
timber saddle-shaped (hypar-type) shell roof
69.
transparent p-type electrode
70.
T-type inverter
71.
type
72.
type 2 diabetes mellitus
73.
type I collagen
74.
type Q semigroups
75.
type V hyperlipidemia
76.
type vs. occurrence-referential notations
77.
type vs. occurrence-referentiality
78.
type-2-diabetes
79.
type-driven development
80.
WordNet type dictionaries
81.
3-level T-type inverter
82.
a coherent theory of proofs
83.
activity theory
84.
adaptive structuration theory (AST)
85.
algebraic number theory
86.
algebraic theory
87.
algorithm design and theory
88.
beam theory
89.
behavioral reasoning theory
90.
bicategory theory
91.
Bond theory
92.
Boolean Algebra Meets Graph-Theory
93.
catastrophe theory
94.
category theory
95.
chaos theory
96.
coding theory
97.
cognitive theory
98.
commitment theory
99.
communication channels (information theory)
100.
Complex systems theory
101.
complexity leadership theory
102.
complexity theory
103.
computation theory
104.
computer softwaregraph theory
105.
conservation of resources theory
106.
Consumer Culture Theory
107.
control theory
108.
Cooper-Helmstetter cell cycle theory
109.
cosmology: theory
110.
critical theory of technology
111.
cultural theory of international relations
112.
dark matter theory
113.
decision theory
114.
Dempster-Shafer theory
115.
Demster-Shafer Theory
116.
density functional theory
117.
density functional theory (DFT)
118.
design theory
119.
development theory
120.
Digital Government Theory: Development and Application
121.
dispersive theory
122.
domain theory
123.
ecological systems theory
124.
economic theory
125.
end of theory
126.
energetic impact theory
127.
enriched category theory
128.
Euler Bernoulli beams theory
129.
evolutionary theory of policy capacity
130.
Flow theory
131.
formal category theory
132.
formal language theory
133.
fully nonlinear potential theory
134.
game theory
135.
general systems theory
136.
general theory of information transfer
137.
general vibration theory
138.
graph theory
139.
gravitational waves / theory
140.
grounded theory
141.
group theory
142.
group threat theory
143.
higher-order beam theory
144.
History and Theory
145.
homotopy theory
146.
housemoney effect prospect theory
147.
iceberg theory of culture
148.
image theory
149.
information theory
150.
innovation theory
151.
institutional theory
152.
intellectual capital theory
153.
interdependence theory
154.
inverse problem theory/applications
155.
inverse problems theory/applications
156.
job search theory
157.
language theory
158.
Lawvere theory
159.
layer-wise displacement theory
160.
linear systems theory
161.
macro-foundational theory
162.
maritime investment theory
163.
mechanism design theory
164.
meso-foundational theory
165.
micro-foundational theory
166.
middle-range theory
167.
modern portfolio theory
168.
network theory
169.
nonlinear shallow water theory
170.
nonlinear shallow-water theory
171.
nonlinear strip theory
172.
nonlinear theory
173.
normal torsion theory
174.
number theory
175.
organization theory
176.
organizational theory
177.
peer‐to‐peer theory
178.
perceived customer value theory
179.
phase field theory
180.
picture theory
181.
protection motivation theory
182.
proto-theory of design
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.
unified theory of acceptance and use of technology
241.
value theory
242.
virtual disc theory
243.
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