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