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/238)
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
238
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.
engaged theory
119.
enriched category theory
120.
Euler Bernoulli beams theory
121.
evolutionary theory of policy capacity
122.
Flow theory
123.
formal category theory
124.
formal language theory
125.
fully nonlinear potential theory
126.
game theory
127.
general systems theory
128.
general theory of information transfer
129.
general vibration theory
130.
graph theory
131.
gravitational waves / theory
132.
grounded theory
133.
group theory
134.
group threat theory
135.
higher-order beam theory
136.
History and Theory
137.
housemoney effect prospect theory
138.
iceberg theory of culture
139.
image theory
140.
information theory
141.
innovation theory
142.
institutional theory
143.
intellectual capital theory
144.
interdependence theory
145.
inverse problem theory/applications
146.
inverse problems theory/applications
147.
job search theory
148.
language theory
149.
Lawvere theory
150.
layer-wise displacement theory
151.
linear systems theory
152.
macro-foundational theory
153.
maritime investment theory
154.
mechanism design theory
155.
meso-foundational theory
156.
micro-foundational theory
157.
middle-range theory
158.
mindlin plate theory
159.
modern portfolio theory
160.
network theory
161.
nonlinear shallow water theory
162.
nonlinear shallow-water theory
163.
nonlinear strip theory
164.
nonlinear theory
165.
normal torsion theory
166.
number theory
167.
organismic integration theory
168.
organization theory
169.
organizational theory
170.
peer‐to‐peer theory
171.
perceived customer value theory
172.
phase field theory
173.
picture theory
174.
protection motivation theory
175.
proto-theory of design
176.
public administration theory
177.
punctuated equilibrium theory
178.
rational choice theory
179.
real options theory
180.
realization theory
181.
reduction theory
182.
refined zigzag theory
183.
regulatory focus theory
184.
sampling theory
185.
scapegoat theory
186.
search and matching theory
187.
self-determination theory
188.
self-determination theory of work motivation
189.
set theory
190.
shallow water theory
191.
shallow‐water theory
192.
sign theory
193.
signalling theory
194.
social exchange theory
195.
social identity theory
196.
social practice theory
197.
social presence theory
198.
social representation theory
199.
social system theory
200.
social systems theory
201.
sociological curriculum theory
202.
S-O-R theory
203.
speech-act theory
204.
stakeholder theory
205.
Stakeholder-oriented decision theory
206.
State Theory
207.
stimulus-organism-response theory
208.
stochastic learning theory
209.
strategic narrative theory
210.
strategic narrative theory
211.
Straussian theory model
212.
structuration theory
213.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
214.
switching theory
215.
synchronous reference frame theory
216.
system theory
217.
systems theory
218.
the RAT theory
219.
theory
220.
theory and practice of meta-modelling with application in healthcare
221.
theory building
222.
theory of accounting
223.
Theory of computation
224.
Theory Of Constraints (TOC)
225.
theory of economic development
226.
theory of inventive problem solving (TRIZ)
227.
theory of natural disaster
228.
Theory of paradox
229.
theory of planned behavior
230.
theory of planned behaviour
231.
theory of signs
232.
theory of value
233.
theory selection
234.
time-dependent density functional theory (TD-DFT)
235.
unified theory of acceptance and use of technology
236.
value theory
237.
virtual disc theory
238.
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