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
formal languages (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..
(2/45)
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
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolò
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
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
44
1.
formal languages
2.
atoms of regular languages
3.
Automata, Formal Verification
4.
Common European Framework of Reference for Languages
5.
computer programming languages
6.
context free languages
7.
context-free languages
8.
data flow languages
9.
domain specific languages
10.
Formal
11.
formal and combined safety elements
12.
formal and informal
13.
formal category theory
14.
formal concept analysis
15.
formal education
16.
formal ferification
17.
formal language theory
18.
formal logic
19.
formal methods
20.
formal PMS
21.
formal rationality
22.
formal reasoning
23.
formal revolution
24.
formal semantics
25.
formal specification
26.
formal verification
27.
Indigenous languages
28.
less-resourced languages
29.
low-resource languages
30.
mandatory formal concepts
31.
modeling languages
32.
non-formal education
33.
object constraint languages
34.
object-oriented programming languages
35.
problem-oriented languages
36.
problem-oriented programming languages
37.
programming languages
38.
query languages
39.
regular languages
40.
rigorous formal diagrammatic system
41.
semantics of programming languages
42.
textual domain specific languages
43.
top-K formal concepts
44.
under-resourced languages
author
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
×
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