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 automata (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/70)
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
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
70
1.
finite automata
2.
nondeterministic finite automata
3.
reversible deter-ministic finite automata (REV-DFAs)
4.
analytical mechanics of cellular automata
5.
asynchronous automata
6.
automata
7.
automata learning
8.
Automata, Formal Verification
9.
bisimulation of Uppaal timed automata
10.
cellular automata
11.
deterministic automata
12.
timed automata
13.
timed automata mutation
14.
timed-automata
15.
UPPAAL timed automata
16.
B-spline finite element method
17.
finite element method
18.
finite automaton
19.
finite bags
20.
finite basis problem
21.
finite blocklength (FBL)
22.
finite control set-model predictive control (FCS-MPC)
23.
finite correlation time
24.
finite cycle-based model predictive control
25.
finite depth
26.
finite differences
27.
finite dimensional algebras
28.
finite dimensional Banach space
29.
finite element
30.
Finite element (FE)
31.
finite element (FE) analysis
32.
finite element analysis
33.
finite element analysis (FEA)
34.
finite element analysis benchmarking
35.
finite element method
36.
finite element method (FEM)
37.
finite element method (FEM) simulation
38.
finite element model
39.
finite element modeling
40.
finite element modelling
41.
finite element modelling (FEM)
42.
finite element simulation
43.
finite elements method
44.
finite impulse response (FIR) filters
45.
finite impulse response filters
46.
finite powerset
47.
finite state machine
48.
Finite State Machine - FSM
49.
finite subdirect irreducibility
50.
finite volume method
51.
finite-difference scheme
52.
finite-element (FE) analysis
53.
finite-element (FE) methods
54.
finite-element (FE) model
55.
finite-element analysis
56.
finite-element methods
57.
finite-element methods (FEM)
58.
finite-element methods (FEMs)
59.
finite-element model
60.
finite-element modeling
61.
finite-element modelling
62.
finite-state machines
63.
finite-time compressibility
64.
finite-time Lyapunov exponent
65.
finite-volume method
66.
hierarchical finite state machine
67.
hot/cold pressing and finite element model simulation
68.
modulated finite control set-model predictive control
69.
the finite element method
70.
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