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
Automata and coalgebras in sategories of Species (title)
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/56)
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
Automata and coalgebras in sategories of Species
Loregian, Fosco
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
2024
/
p. 65-92
https://doi.org/10.1007/978-3-031-66438-0_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
56
1.
coalgebras
2.
comonad coalgebras
3.
comonad morphisms and comonad coalgebras
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.
finite automata
13.
nondeterministic finite automata
14.
reversible deter-ministic finite automata (REV-DFAs)
15.
timed automata
16.
timed automata mutation
17.
timed-automata
18.
UPPAAL timed automata
19.
alien species
20.
bloom-forming species
21.
Candida species
22.
combinatorial species
23.
dwarf species
24.
Earthworm species
25.
examples of dendrologous species
26.
exotic species
27.
fish species classification
28.
Macaronesian species
29.
mixed species
30.
mixed species feedstock
31.
multi-species planning
32.
natural species
33.
new species
34.
non-indigenous species
35.
non-indigenous species.
36.
paleome species richness
37.
Penicillium species
38.
protection of species
39.
radical species
40.
reaction species
41.
reactive oxygen species
42.
reactive oxygen species (ROS)
43.
species coexistence
44.
species composition
45.
species density
46.
species distribution models
47.
species diversity
48.
species equivalents
49.
species identification
50.
species pool
51.
species richness
52.
species–area relationship
53.
species-area relationship (SAR)
54.
toxic HAB species
55.
toxin-producing species
56.
tree species
×
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