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
homotopy type 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/234)
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 EST
/
artikkel ajakirjas ENG
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Constructive final semantics of finite bags
Joram, Philipp
;
Veltri, Niccolò
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
2023
/
art. 20, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.20
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
234
1.
homotopy type theory
2.
homotopy theory
3.
dependent type theory
4.
ticked cubical type theory
5.
type theory
6.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
7.
Abel type integral equations
8.
atrium-type buildings
9.
Blackman- and Rogosinski-type approximation processes
10.
Blackman-type approximation processes
11.
Boussinesq-type equation
12.
Boussinesq-type equations
13.
case-type furniture
14.
cell type-specific gene expression
15.
cosine-type approximation processes
16.
direct matrix type
17.
DyP-type peroxidases
18.
effect of cellulose type and DP
19.
electrode type
20.
entity type
21.
flow of the “gas–solid particles” type
22.
fluorite-type fluorides
23.
Gauss-Newton-type methods
24.
Gauss–Newton-type methods
25.
generalized Kantorovich-type sampling operators
26.
grounding type
27.
hypercholesterolemia type II
28.
ideal type
29.
industry type
30.
massive machine type communication (mMTC)
31.
massive machine-type communication (mMTC)
32.
massive machine-type communications (mMTC)
33.
massive Machine-Type connections (mMTC)
34.
mixed type building
35.
multi-type dislocation substructure
36.
narcolepsy type 1
37.
optical water type
38.
Piston type wave maker
39.
porcine circovirus type 2 (PCV2) ORF3
40.
porcine circovirus type-2
41.
proprotein convertase subtilisin/kexin type 9
42.
proprotein convertase subtilisin−kexin type (9PCSK9)
43.
p-type 4H-SiC
44.
p-type transparent semiconductor
45.
quasi-impedance-source inverter (3L-T-type qZS inverter)
46.
quasi-impedance-source T-type inverters
47.
recurrence type
48.
Reetz-Keck-type allylation
49.
Rogosinski-type approximation processes
50.
R-type anion currents
51.
singular integral of Fejér's type
52.
Swiss-type cheese
53.
three-level T-type
54.
three-level T-type inverter
55.
timber saddle-shaped (hypar-type) shell roof
56.
transparent p-type electrode
57.
T-type inverter
58.
type
59.
type 2 diabetes mellitus
60.
type I collagen
61.
type Q semigroups
62.
type V hyperlipidemia
63.
type vs. occurrence-referential notations
64.
type vs. occurrence-referentiality
65.
type-2-diabetes
66.
type-driven development
67.
WordNet type dictionaries
68.
3-level T-type inverter
69.
a coherent theory of proofs
70.
activity theory
71.
adaptive structuration theory (AST)
72.
algebraic number theory
73.
algebraic theory
74.
algorithm design and theory
75.
beam theory
76.
behavioral reasoning theory
77.
bicategory theory
78.
Biot theory
79.
Bond theory
80.
Boolean Algebra Meets Graph-Theory
81.
catastrophe theory
82.
category theory
83.
chaos theory
84.
coding theory
85.
cognitive theory
86.
commitment theory
87.
communication channels (information theory)
88.
Complex systems theory
89.
complexity leadership theory
90.
complexity theory
91.
computation theory
92.
computer softwaregraph theory
93.
conservation of resources theory
94.
Consumer Culture Theory
95.
control theory
96.
Cooper-Helmstetter cell cycle theory
97.
cosmology theory
98.
cosmology: theory
99.
critical theory of technology
100.
cultural theory of international relations
101.
dark matter theory
102.
decision theory
103.
Dempster-Shafer theory
104.
Demster-Shafer Theory
105.
density functional theory
106.
density functional theory (DFT)
107.
design theory
108.
development theory
109.
Digital Government Theory: Development and Application
110.
dispersive theory
111.
domain theory
112.
ecological systems theory
113.
economic theory
114.
end of theory
115.
energetic impact theory
116.
enriched category theory
117.
Euler Bernoulli beams theory
118.
evolutionary theory of policy capacity
119.
Flow theory
120.
formal category theory
121.
formal language theory
122.
fully nonlinear potential theory
123.
game theory
124.
general systems theory
125.
general theory of information transfer
126.
general vibration theory
127.
graph theory
128.
gravitational waves / theory
129.
grounded theory
130.
group theory
131.
group threat theory
132.
higher-order beam theory
133.
History and Theory
134.
housemoney effect prospect theory
135.
iceberg theory of culture
136.
image theory
137.
information theory
138.
innovation theory
139.
institutional theory
140.
intellectual capital theory
141.
interdependence theory
142.
inverse problem theory/applications
143.
inverse problems theory/applications
144.
job search theory
145.
language theory
146.
Lawvere theory
147.
layer-wise displacement theory
148.
linear systems theory
149.
macro-foundational theory
150.
maritime investment theory
151.
mechanism design theory
152.
meso-foundational theory
153.
micro-foundational theory
154.
middle-range theory
155.
mindlin plate theory
156.
modern portfolio theory
157.
network theory
158.
nonlinear shallow water theory
159.
nonlinear shallow-water theory
160.
nonlinear strip theory
161.
nonlinear theory
162.
normal torsion theory
163.
number theory
164.
organismic integration theory
165.
organization theory
166.
organizational theory
167.
peer‐to‐peer theory
168.
perceived customer value theory
169.
phase field theory
170.
picture theory
171.
protection motivation theory
172.
proto-theory of design
173.
punctuated equilibrium theory
174.
rational choice theory
175.
real options theory
176.
realization theory
177.
reduction theory
178.
refined zigzag theory
179.
regulatory focus theory
180.
sampling theory
181.
scapegoat theory
182.
search and matching theory
183.
self-determination theory
184.
self-determination theory of work motivation
185.
set theory
186.
shallow water theory
187.
shallow‐water theory
188.
sign theory
189.
signalling theory
190.
social exchange theory
191.
social identity theory
192.
social practice theory
193.
social presence theory
194.
social representation theory
195.
social system theory
196.
social systems theory
197.
sociological curriculum theory
198.
S-O-R theory
199.
speech-act theory
200.
stakeholder theory
201.
Stakeholder-oriented decision theory
202.
State Theory
203.
stimulus-organism-response theory
204.
stochastic learning theory
205.
strategic narrative theory
206.
strategic narrative theory
207.
Straussian theory model
208.
structuration theory
209.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
210.
switching theory
211.
synchronous reference frame theory
212.
system theory
213.
systems theory
214.
the RAT theory
215.
theory
216.
theory and practice of meta-modelling with application in healthcare
217.
theory building
218.
theory of accounting
219.
Theory of computation
220.
Theory Of Constraints (TOC)
221.
theory of economic development
222.
theory of inventive problem solving (TRIZ)
223.
theory of natural disaster
224.
Theory of paradox
225.
theory of planned behavior
226.
theory of planned behaviour
227.
theory of signs
228.
theory of value
229.
theory selection
230.
time-dependent density functional theory (TD-DFT)
231.
unified theory of acceptance and use of technology
232.
value theory
233.
virtual disc theory
234.
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