Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
finite powerset (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/58)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
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
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT