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