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