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/55)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 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
55
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 depth
12.
finite differences
13.
finite dimensional algebras
14.
finite dimensional Banach space
15.
finite element
16.
Finite element (FE)
17.
finite element (FE) analysis
18.
finite element analysis
19.
finite element analysis (FEA)
20.
finite element method
21.
finite element method (FEM)
22.
finite element method (FEM) simulation
23.
finite element model
24.
finite element modeling
25.
finite element modelling
26.
finite element modelling (FEM)
27.
finite element simulation
28.
finite elements method
29.
finite impulse response (FIR) filters
30.
finite impulse response filters
31.
finite state machine
32.
Finite State Machine - FSM
33.
finite subdirect irreducibility
34.
finite volume method
35.
finite-difference scheme
36.
finite-element (FE) analysis
37.
finite-element (FE) methods
38.
finite-element (FE) model
39.
finite-element analysis
40.
finite-element methods
41.
finite-element methods (FEM)
42.
finite-element model
43.
finite-element modeling
44.
finite-element modelling
45.
finite-state machines
46.
finite-time compressibility
47.
finite-time Lyapunov exponent
48.
finite-volume method
49.
hierarchical finite state machine
50.
hot/cold pressing and finite element model simulation
51.
modulated finite control set-model predictive control
52.
nondeterministic finite automata
53.
reversible deter-ministic finite automata (REV-DFAs)
54.
the finite element method
55.
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