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