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