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 bags (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/54)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
54
1.
finite bags
2.
B-spline finite element method
3.
finite element method
4.
finite automata
5.
finite automaton
6.
finite basis problem
7.
finite control set-model predictive control (FCS-MPC)
8.
finite correlation time
9.
finite depth
10.
finite differences
11.
finite dimensional algebras
12.
finite dimensional Banach space
13.
finite element
14.
Finite element (FE)
15.
finite element (FE) analysis
16.
finite element analysis
17.
finite element analysis (FEA)
18.
finite element method
19.
finite element method (FEM)
20.
finite element method (FEM) simulation
21.
finite element model
22.
finite element modeling
23.
finite element modelling
24.
finite element modelling (FEM)
25.
finite element simulation
26.
finite elements method
27.
finite impulse response (FIR) filters
28.
finite impulse response filters
29.
finite powerset
30.
finite state machine
31.
Finite State Machine - FSM
32.
finite subdirect irreducibility
33.
finite volume method
34.
finite-difference scheme
35.
finite-element (FE) analysis
36.
finite-element (FE) methods
37.
finite-element (FE) model
38.
finite-element analysis
39.
finite-element methods
40.
finite-element methods (FEM)
41.
finite-element model
42.
finite-element modeling
43.
finite-element modelling
44.
finite-state machines
45.
finite-time compressibility
46.
finite-time Lyapunov exponent
47.
finite-volume method
48.
hierarchical finite state machine
49.
hot/cold pressing and finite element model simulation
50.
modulated finite control set-model predictive control
51.
nondeterministic finite automata
52.
reversible deter-ministic finite automata (REV-DFAs)
53.
the finite element method
54.
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