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
algebraic effects (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 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
3
Look more..
(1/50)
Export
export all inquiry results
(3)
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
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
2
book article EST
/
book article ENG
Runners for interleaving algebraic effects
Voorneveld, Niels
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 407-424
https://doi.org/10.1007/978-3-031-17715-6_26
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
3
book article EST
/
book article ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 3, displaying
1 - 3
keyword
50
1.
algebraic effects
2.
algebraic analysis
3.
algebraic approach
4.
algebraic approaches
5.
algebraic fractions
6.
algebraic hyperstructure
7.
algebraic methods
8.
algebraic operations
9.
Algebraic soliton
10.
algebraic theories
11.
algebraic theory
12.
algebraic/geometric methods
13.
biological effects
14.
causal effects
15.
climate changes effects
16.
combinatorial effects
17.
Computational effects
18.
cumulative effects assessment
19.
economic and social effects
20.
effects
21.
electoral effects
22.
EMF effects
23.
environmental effects
24.
EU Horizon 2020 research project GRACE (Integrated oil spill response actions and environmental effects)
25.
fault effects
26.
fiscal and economic effects
27.
gender effects
28.
group effects
29.
health effects
30.
hierarchy-of-effects (HOE)
31.
horizontal effects
32.
indirect effects
33.
interactive fixed effects
34.
layout-based effects
35.
magnetomechanical effects
36.
magneto-mechanical effects
37.
mechanical and thermal effects
38.
micellar effects
39.
multi-actor effects
40.
proximity effects
41.
radiation effects
42.
single event effects
43.
single-event effects
44.
solvent effects
45.
spillover effects
46.
spill-over effects
47.
substitution effects
48.
temperature effects
49.
thermal effects
50.
topographic effects
×
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