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/237)
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
237
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.
spoke-type PM machine
53.
Swiss-type cheese
54.
three-level T-type
55.
three-level T-type inverter
56.
timber saddle-shaped (hypar-type) shell roof
57.
transparent p-type electrode
58.
T-type inverter
59.
type
60.
type 2 diabetes mellitus
61.
type I collagen
62.
type Q semigroups
63.
type V hyperlipidemia
64.
type vs. occurrence-referential notations
65.
type vs. occurrence-referentiality
66.
type-2-diabetes
67.
type-driven development
68.
WordNet type dictionaries
69.
3-level T-type inverter
70.
a coherent theory of proofs
71.
activity theory
72.
adaptive structuration theory (AST)
73.
algebraic number theory
74.
algebraic theory
75.
algorithm design and theory
76.
beam theory
77.
behavioral reasoning theory
78.
bicategory theory
79.
Biot theory
80.
Bond theory
81.
Boolean Algebra Meets Graph-Theory
82.
catastrophe theory
83.
category theory
84.
chaos theory
85.
coding theory
86.
cognitive theory
87.
commitment theory
88.
communication channels (information theory)
89.
Complex systems theory
90.
complexity leadership theory
91.
complexity theory
92.
computation theory
93.
computer softwaregraph theory
94.
conservation of resources theory
95.
Consumer Culture Theory
96.
control and systems theory
97.
control theory
98.
Cooper-Helmstetter cell cycle theory
99.
cosmology theory
100.
cosmology: theory
101.
critical theory of technology
102.
cultural theory of international relations
103.
dark matter theory
104.
decision theory
105.
Dempster-Shafer theory
106.
Demster-Shafer Theory
107.
density functional theory
108.
density functional theory (DFT)
109.
design theory
110.
development theory
111.
Digital Government Theory: Development and Application
112.
dispersive theory
113.
domain theory
114.
ecological systems theory
115.
economic theory
116.
end of theory
117.
energetic impact theory
118.
enriched category theory
119.
Euler Bernoulli beams theory
120.
evolutionary theory of policy capacity
121.
Flow theory
122.
formal category theory
123.
formal language theory
124.
fully nonlinear potential theory
125.
game theory
126.
general systems theory
127.
general theory of information transfer
128.
general vibration theory
129.
graph theory
130.
gravitational waves / theory
131.
grounded theory
132.
group theory
133.
group threat theory
134.
higher-order beam theory
135.
History and Theory
136.
housemoney effect prospect theory
137.
iceberg theory of culture
138.
image theory
139.
information theory
140.
innovation theory
141.
institutional theory
142.
intellectual capital theory
143.
interdependence theory
144.
inverse problem theory/applications
145.
inverse problems theory/applications
146.
job search theory
147.
language theory
148.
Lawvere theory
149.
layer-wise displacement theory
150.
linear systems theory
151.
macro-foundational theory
152.
maritime investment theory
153.
mechanism design theory
154.
meso-foundational theory
155.
micro-foundational theory
156.
middle-range theory
157.
mindlin plate theory
158.
modern portfolio theory
159.
network theory
160.
nonlinear shallow water theory
161.
nonlinear shallow-water theory
162.
nonlinear strip theory
163.
nonlinear theory
164.
normal torsion theory
165.
number theory
166.
organismic integration theory
167.
organization theory
168.
organizational theory
169.
peer‐to‐peer theory
170.
perceived customer value theory
171.
phase field theory
172.
picture theory
173.
protection motivation theory
174.
proto-theory of design
175.
public administration theory
176.
punctuated equilibrium theory
177.
rational choice theory
178.
real options theory
179.
realization theory
180.
reduction theory
181.
refined zigzag theory
182.
regulatory focus theory
183.
sampling theory
184.
scapegoat theory
185.
search and matching theory
186.
self-determination theory
187.
self-determination theory of work motivation
188.
set theory
189.
shallow water theory
190.
shallow‐water theory
191.
sign theory
192.
signalling theory
193.
social exchange theory
194.
social identity theory
195.
social practice theory
196.
social presence theory
197.
social representation theory
198.
social system theory
199.
social systems theory
200.
sociological curriculum theory
201.
S-O-R theory
202.
speech-act theory
203.
stakeholder theory
204.
Stakeholder-oriented decision theory
205.
State Theory
206.
stimulus-organism-response theory
207.
stochastic learning theory
208.
strategic narrative theory
209.
strategic narrative theory
210.
Straussian theory model
211.
structuration theory
212.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
213.
switching theory
214.
synchronous reference frame theory
215.
system theory
216.
systems theory
217.
the RAT theory
218.
theory
219.
theory and practice of meta-modelling with application in healthcare
220.
theory building
221.
theory of accounting
222.
Theory of computation
223.
Theory Of Constraints (TOC)
224.
theory of economic development
225.
theory of inventive problem solving (TRIZ)
226.
theory of natural disaster
227.
Theory of paradox
228.
theory of planned behavior
229.
theory of planned behaviour
230.
theory of signs
231.
theory of value
232.
theory selection
233.
time-dependent density functional theory (TD-DFT)
234.
unified theory of acceptance and use of technology
235.
value theory
236.
virtual disc theory
237.
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