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/223)
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
223
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.
Boolean Algebra Meets Graph-Theory
79.
catastrophe theory
80.
category theory
81.
chaos theory
82.
coding theory
83.
cognitive theory
84.
commitment theory
85.
communication channels (information theory)
86.
complexity leadership theory
87.
complexity theory
88.
computation theory
89.
computer softwaregraph theory
90.
conservation of resources theory
91.
Consumer Culture Theory
92.
control theory
93.
Cooper-Helmstetter cell cycle theory
94.
cosmology: theory
95.
critical theory of technology
96.
cultural theory of international relations
97.
dark matter theory
98.
decision theory
99.
Dempster-Shafer theory
100.
Demster-Shafer Theory
101.
density functional theory
102.
density functional theory (DFT)
103.
design theory
104.
development theory
105.
Digital Government Theory: Development and Application
106.
dispersive theory
107.
domain theory
108.
ecological systems theory
109.
economic theory
110.
end of theory
111.
energetic impact theory
112.
enriched category theory
113.
Euler Bernoulli beams theory
114.
evolutionary theory of policy capacity
115.
Flow theory
116.
formal category theory
117.
formal language theory
118.
fully nonlinear potential theory
119.
game theory
120.
general systems theory
121.
general theory of information transfer
122.
general vibration theory
123.
graph theory
124.
gravitational waves / theory
125.
grounded theory
126.
group theory
127.
group threat theory
128.
higher-order beam theory
129.
History and Theory
130.
housemoney effect prospect theory
131.
iceberg theory of culture
132.
image theory
133.
information theory
134.
innovation theory
135.
institutional theory
136.
intellectual capital theory
137.
interdependence theory
138.
inverse problem theory/applications
139.
inverse problems theory/applications
140.
job search theory
141.
Lawvere theory
142.
layer-wise displacement theory
143.
linear systems theory
144.
maritime investment theory
145.
mechanism design theory
146.
middle-range theory
147.
modern portfolio theory
148.
network theory
149.
nonlinear shallow water theory
150.
nonlinear shallow-water theory
151.
nonlinear strip theory
152.
nonlinear theory
153.
normal torsion theory
154.
number theory
155.
organization theory
156.
organizational theory
157.
peer‐to‐peer theory
158.
perceived customer value theory
159.
phase field theory
160.
picture theory
161.
protection motivation theory
162.
proto-theory of design
163.
punctuated equilibrium theory
164.
rational choice theory
165.
real options theory
166.
realization theory
167.
reduction theory
168.
refined zigzag theory
169.
regulatory focus theory
170.
sampling theory
171.
scapegoat theory
172.
search and matching theory
173.
self-determination theory
174.
self-determination theory of work motivation
175.
set theory
176.
shallow water theory
177.
shallow‐water theory
178.
sign theory
179.
signalling theory
180.
social exchange theory
181.
social identity theory
182.
social practice theory
183.
social presence theory
184.
social representation theory
185.
social system theory
186.
social systems theory
187.
sociological curriculum theory
188.
S-O-R theory
189.
speech-act theory
190.
stakeholder theory
191.
Stakeholder-oriented decision theory
192.
State Theory
193.
stimulus-organism-response theory
194.
stochastic learning theory
195.
strategic narrative theory
196.
strategic narrative theory
197.
Straussian theory model
198.
structuration theory
199.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
200.
switching theory
201.
synchronous reference frame theory
202.
system theory
203.
systems theory
204.
the RAT theory
205.
theory
206.
theory and practice of meta-modelling with application in healthcare
207.
theory building
208.
theory of accounting
209.
Theory of computation
210.
Theory Of Constraints (TOC)
211.
theory of economic development
212.
theory of inventive problem solving (TRIZ)
213.
theory of natural disaster
214.
Theory of paradox
215.
theory of planned behavior
216.
theory of planned behaviour
217.
theory of signs
218.
theory of value
219.
time-dependent density functional theory (TD-DFT)
220.
unified theory of acceptance and use of technology
221.
value theory
222.
virtual disc theory
223.
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