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