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
bicategory 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
2
Vaata veel..
(1/153)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
153
1.
bicategory theory
2.
a coherent theory of proofs
3.
activity theory
4.
adaptive structuration theory (AST)
5.
algebraic number theory
6.
algebraic theory
7.
algorithm design and theory
8.
beam theory
9.
catastrophe theory
10.
category theory
11.
chaos theory
12.
coding theory
13.
cognitive theory
14.
commitment theory
15.
communication channels (information theory)
16.
complexity leadership theory
17.
complexity theory
18.
computation theory
19.
computer softwaregraph theory
20.
conservation of resources theory
21.
Consumer Culture Theory
22.
control theory
23.
Cooper-Helmstetter cell cycle theory
24.
cosmology: theory
25.
critical theory of technology
26.
cultural theory of international relations
27.
dark matter theory
28.
decision theory
29.
Dempster-Shafer theory
30.
Demster-Shafer Theory
31.
density functional theory
32.
density functional theory (DFT)
33.
dependent type theory
34.
design theory
35.
development theory
36.
Digital Government Theory: Development and Application
37.
dispersive theory
38.
domain theory
39.
ecological systems theory
40.
economic theory
41.
end of theory
42.
energetic impact theory
43.
enriched category theory
44.
evolutionary theory of policy capacity
45.
Flow theory
46.
formal category theory
47.
formal language theory
48.
fully nonlinear potential theory
49.
game theory
50.
general systems theory
51.
general theory of information transfer
52.
general vibration theory
53.
graph theory
54.
gravitational waves / theory
55.
grounded theory
56.
group theory
57.
group threat theory
58.
higher-order beam theory
59.
History and Theory
60.
homotopy theory
61.
homotopy type theory
62.
housemoney effect prospect theory
63.
iceberg theory of culture
64.
image theory
65.
information theory
66.
innovation theory
67.
institutional theory
68.
intellectual capital theory
69.
interdependence theory
70.
inverse problem theory/applications
71.
inverse problems theory/applications
72.
job search theory
73.
Lawvere theory
74.
layer-wise displacement theory
75.
linear systems theory
76.
maritime investment theory
77.
mechanism design theory
78.
middle-range theory
79.
modern portfolio theory
80.
network theory
81.
nonlinear shallow water theory
82.
nonlinear shallow-water theory
83.
nonlinear strip theory
84.
nonlinear theory
85.
normal torsion theory
86.
number theory
87.
organization theory
88.
organizational theory
89.
peer‐to‐peer theory
90.
perceived customer value theory
91.
phase field theory
92.
picture theory
93.
protection motivation theory
94.
proto-theory of design
95.
punctuated equilibrium theory
96.
rational choice theory
97.
real options theory
98.
realization theory
99.
reduction theory
100.
refined zigzag theory
101.
regulatory focus theory
102.
sampling theory
103.
scapegoat theory
104.
search and matching theory
105.
self-determination theory
106.
self-determination theory of work motivation
107.
set theory
108.
shallow water theory
109.
shallow‐water theory
110.
sign theory
111.
signalling theory
112.
social identity theory
113.
social practice theory
114.
social presence theory
115.
social representation theory
116.
social system theory
117.
social systems theory
118.
sociological curriculum theory
119.
speech-act theory
120.
stakeholder theory
121.
Stakeholder-oriented decision theory
122.
State Theory
123.
stimulus-organism-response theory
124.
stochastic learning theory
125.
strategic narrative theory
126.
strategic narrative theory
127.
Straussian theory model
128.
structuration theory
129.
switching theory
130.
synchronous reference frame theory
131.
system theory
132.
systems theory
133.
the RAT theory
134.
theory
135.
theory and practice of meta-modelling with application in healthcare
136.
theory of accounting
137.
Theory of computation
138.
Theory Of Constraints (TOC)
139.
theory of economic development
140.
theory of inventive problem solving (TRIZ)
141.
theory of natural disaster
142.
Theory of paradox
143.
theory of planned behavior
144.
theory of planned behaviour
145.
theory of signs
146.
theory of value
147.
ticked cubical type theory
148.
time-dependent density functional theory (TD-DFT)
149.
type theory
150.
unified theory of acceptance and use of technology
151.
value theory
152.
virtual disc theory
153.
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