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/66)
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
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
66
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 control set-model predictive control (FCS-MPC)
22.
finite correlation time
23.
finite depth
24.
finite differences
25.
finite dimensional algebras
26.
finite dimensional Banach space
27.
finite element
28.
Finite element (FE)
29.
finite element (FE) analysis
30.
finite element analysis
31.
finite element analysis (FEA)
32.
finite element method
33.
finite element method (FEM)
34.
finite element method (FEM) simulation
35.
finite element model
36.
finite element modeling
37.
finite element modelling
38.
finite element modelling (FEM)
39.
finite element simulation
40.
finite elements method
41.
finite impulse response (FIR) filters
42.
finite impulse response filters
43.
finite powerset
44.
finite state machine
45.
Finite State Machine - FSM
46.
finite subdirect irreducibility
47.
finite volume method
48.
finite-difference scheme
49.
finite-element (FE) analysis
50.
finite-element (FE) methods
51.
finite-element (FE) model
52.
finite-element analysis
53.
finite-element methods
54.
finite-element methods (FEM)
55.
finite-element model
56.
finite-element modeling
57.
finite-element modelling
58.
finite-state machines
59.
finite-time compressibility
60.
finite-time Lyapunov exponent
61.
finite-volume method
62.
hierarchical finite state machine
63.
hot/cold pressing and finite element model simulation
64.
modulated finite control set-model predictive control
65.
the finite element method
66.
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