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