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