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
finite powerset (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
1
Vaata veel..
(1/58)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 kogumikus EST
/
artikkel kogumikus ENG
Type-theoretic constructions of the final coalgebra of the finite powerset functor
Veltri, Niccolo
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 22:1-22:18
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
58
1.
finite powerset
2.
powerset
3.
B-spline finite element method
4.
finite element method
5.
finite automata
6.
finite automaton
7.
finite bags
8.
finite basis problem
9.
finite control set-model predictive control (FCS-MPC)
10.
finite correlation time
11.
finite cycle-based model predictive control
12.
finite depth
13.
finite differences
14.
finite dimensional algebras
15.
finite dimensional Banach space
16.
finite element
17.
Finite element (FE)
18.
finite element (FE) analysis
19.
finite element analysis
20.
finite element analysis (FEA)
21.
finite element analysis benchmarking
22.
finite element method
23.
finite element method (FEM)
24.
finite element method (FEM) simulation
25.
finite element model
26.
finite element modeling
27.
finite element modelling
28.
finite element modelling (FEM)
29.
finite element simulation
30.
finite elements method
31.
finite impulse response (FIR) filters
32.
finite impulse response filters
33.
finite state machine
34.
Finite State Machine - FSM
35.
finite subdirect irreducibility
36.
finite volume method
37.
finite-difference scheme
38.
finite-element (FE) analysis
39.
finite-element (FE) methods
40.
finite-element (FE) model
41.
finite-element analysis
42.
finite-element methods
43.
finite-element methods (FEM)
44.
finite-element methods (FEMs)
45.
finite-element model
46.
finite-element modeling
47.
finite-element modelling
48.
finite-state machines
49.
finite-time compressibility
50.
finite-time Lyapunov exponent
51.
finite-volume method
52.
hierarchical finite state machine
53.
hot/cold pressing and finite element model simulation
54.
modulated finite control set-model predictive control
55.
nondeterministic finite automata
56.
reversible deter-ministic finite automata (REV-DFAs)
57.
the finite element method
58.
finite element methods
×
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