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