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/214)
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
214
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.
cAMP-dependent protein kinase
9.
depth-dependent roughness
10.
frequency-dependent attenuation
11.
groundwater dependent ecosystems
12.
Rho-dependent protein kinase
13.
scale-dependent processes
14.
space-dependent coefficients
15.
space-dependent diffusivity
16.
time-dependent drift
17.
voltage-dependent anion channel VDAC
18.
Abel type integral equations
19.
atrium-type buildings
20.
Blackman- and Rogosinski-type approximation processes
21.
Blackman-type approximation processes
22.
Boussinesq-type equation
23.
Boussinesq-type equations
24.
case-type furniture
25.
cell type-specific gene expression
26.
cosine-type approximation processes
27.
direct matrix type
28.
electrode type
29.
entity type
30.
flow of the “gas–solid particles” type
31.
fluorite-type fluorides
32.
Gauss-Newton-type methods
33.
Gauss–Newton-type methods
34.
generalized Kantorovich-type sampling operators
35.
grounding type
36.
ideal type
37.
massive machine-type communication (mMTC)
38.
massive machine-type communications (mMTC)
39.
massive Machine-Type connections (mMTC)
40.
mixed type building
41.
multi-type dislocation substructure
42.
narcolepsy type 1
43.
optical water type
44.
Piston type wave maker
45.
porcine circovirus type 2 (PCV2) ORF3
46.
porcine circovirus type-2
47.
proprotein convertase subtilisin/kexin type 9
48.
proprotein convertase subtilisin−kexin type (9PCSK9)
49.
p-type 4H-SiC
50.
p-type transparent semiconductor
51.
quasi-impedance-source inverter (3L-T-type qZS inverter)
52.
quasi-impedance-source T-type inverters
53.
Reetz-Keck-type allylation
54.
Rogosinski-type approximation processes
55.
R-type anion currents
56.
singular integral of Fejér's type
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 2 diabetes mellitus
63.
type I collagen
64.
type Q semigroups
65.
type V hyperlipidemia
66.
type vs. occurrence-referential notations
67.
type vs. occurrence-referentiality
68.
type-2-diabetes
69.
WordNet type dictionaries
70.
3-level T-type inverter
71.
a coherent theory of proofs
72.
activity theory
73.
adaptive structuration theory (AST)
74.
algebraic number theory
75.
algebraic theory
76.
algorithm design and theory
77.
beam theory
78.
bicategory theory
79.
catastrophe theory
80.
category theory
81.
chaos theory
82.
coding theory
83.
cognitive theory
84.
commitment theory
85.
communication channels (information theory)
86.
complexity leadership theory
87.
complexity theory
88.
computation theory
89.
computer softwaregraph theory
90.
conservation of resources theory
91.
Consumer Culture Theory
92.
control theory
93.
Cooper-Helmstetter cell cycle theory
94.
cosmology: theory
95.
critical theory of technology
96.
cultural theory of international relations
97.
dark matter theory
98.
decision theory
99.
Dempster-Shafer theory
100.
Demster-Shafer Theory
101.
density functional theory
102.
design theory
103.
development theory
104.
Digital Government Theory: Development and Application
105.
dispersive theory
106.
domain theory
107.
ecological systems theory
108.
economic theory
109.
end of theory
110.
energetic impact theory
111.
evolutionary theory of policy capacity
112.
Flow theory
113.
formal language theory
114.
fully nonlinear potential theory
115.
game theory
116.
general systems theory
117.
general theory of information transfer
118.
general vibration theory
119.
graph theory
120.
gravitational waves / theory
121.
grounded theory
122.
group theory
123.
group threat theory
124.
higher-order beam theory
125.
History and Theory
126.
homotopy theory
127.
housemoney effect prospect theory
128.
iceberg theory of culture
129.
image theory
130.
information theory
131.
innovation theory
132.
institutional theory
133.
intellectual capital theory
134.
interdependence theory
135.
inverse problem theory/applications
136.
inverse problems theory/applications
137.
job search theory
138.
Lawvere theory
139.
layer-wise displacement theory
140.
linear systems theory
141.
maritime investment theory
142.
mechanism design theory
143.
middle-range theory
144.
modern portfolio theory
145.
network theory
146.
nonlinear shallow water theory
147.
nonlinear shallow-water theory
148.
nonlinear strip theory
149.
nonlinear theory
150.
normal torsion theory
151.
number theory
152.
organization theory
153.
organizational theory
154.
peer‐to‐peer theory
155.
perceived customer value theory
156.
phase field theory
157.
picture theory
158.
protection motivation theory
159.
proto-theory of design
160.
punctuated equilibrium theory
161.
rational choice theory
162.
real options theory
163.
realization theory
164.
reduction theory
165.
refined zigzag theory
166.
regulatory focus theory
167.
sampling theory
168.
scapegoat theory
169.
search and matching theory
170.
self-determination theory
171.
self-determination theory of work motivation
172.
set theory
173.
shallow water theory
174.
shallow‐water theory
175.
sign theory
176.
signalling theory
177.
social identity theory
178.
social practice theory
179.
social presence theory
180.
social representation theory
181.
social system theory
182.
social systems theory
183.
sociological curriculum theory
184.
speech-act theory
185.
stakeholder theory
186.
Stakeholder-oriented decision theory
187.
State Theory
188.
stimulus-organism-response theory
189.
stochastic learning theory
190.
strategic narrative theory
191.
strategic narrative theory
192.
Straussian theory model
193.
structuration theory
194.
switching theory
195.
synchronous reference frame theory
196.
system theory
197.
systems theory
198.
the RAT theory
199.
theory
200.
theory and practice of meta-modelling with application in healthcare
201.
theory of accounting
202.
Theory Of Constraints (TOC)
203.
theory of economic development
204.
theory of inventive problem solving (TRIZ)
205.
theory of natural disaster
206.
Theory of paradox
207.
theory of planned behavior
208.
theory of planned behaviour
209.
theory of signs
210.
theory of value
211.
unified theory of acceptance and use of technology
212.
value theory
213.
virtual disc theory
214.
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