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