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