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
Advanced search
My bookmarks
0
structural operational semantics (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/91)
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
journal article EST
/
journal article ENG
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
art. 104767, 22 p
https://doi.org/10.1016/j.ic.2021.104767
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
91
1.
structural operational semantics
2.
Operational semantics
3.
bialgebraic semantics
4.
big-step semantics
5.
business semantics
6.
categorical semantics
7.
compositional semantics
8.
content semantics
9.
counterpart semantics
10.
denotational semantics
11.
emergent semantics
12.
formal semantics
13.
game-theoretic semantics
14.
neighborhood semantics
15.
question-answer semantics
16.
semantics
17.
semantics of programming languages
18.
semantics-driven recommendation
19.
time semantics
20.
trace semantics
21.
common operational picture
22.
digital operational resilience
23.
engineering reliability operational probabilities
24.
operational amplifier
25.
operational amplifiers
26.
operational capacity
27.
operational efficiency
28.
operational forecasting
29.
operational knowledge risk
30.
operational level (OL)
31.
operational oceanography
32.
operational parameters
33.
operational planning
34.
operational realism
35.
operational risks
36.
operational speed
37.
operational transconductance amplifiers
38.
operational WDS
39.
aged structural timber
40.
cadmium chloride treatment structural properties
41.
EU Structural Funds
42.
European Structural and Investment Funds (ESIF)
43.
genomic structural variation
44.
Interpretative Structural Modeling (ISM)
45.
interpretive structural model (ISM)
46.
interpretive structural modelling
47.
partial least squares structural equation modeling (PLS-SEM)
48.
quasi-static structural response
49.
smart materials with structural health monitoring capabilities
50.
structural analysis
51.
structural and investment funds
52.
structural and lexicographic errors
53.
structural applications
54.
structural bayesian VAR
55.
structural biology
56.
structural break
57.
structural breaks
58.
structural change
59.
structural concrete elements
60.
structural corruption
61.
structural crashworthiness
62.
structural damage
63.
structural decomposition analysis
64.
structural diversity
65.
structural elements
66.
structural empowerment
67.
Structural equation modeling
68.
structural equation modelling
69.
structural fire design
70.
structural funds
71.
structural graph clustering
72.
structural health monitoring
73.
structural identification
74.
Structural lineaments
75.
structural mechanics and foundation
76.
structural model
77.
structural modelling
78.
structural modifications
79.
Structural properties
80.
structural reforms
81.
Structural response
82.
structural thermal mass activation
83.
structural timber
84.
structural transformation
85.
structural transformations
86.
structural transition
87.
structural VAR
88.
structural vector autoregression
89.
structural vector autoregressions
90.
structural vector autoregressive (SVAR)
91.
total interpretive structural modelling (TISM)
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT