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