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
formal language theory (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 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
2
Look more..
(2/258)
Export
export all inquiry results
(2)
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
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
2
journal article EST
/
journal article ENG
Regular planar monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Journal of logical and algebraic methods in programming
2024
/
art. 100963, 20 p. : ill
https://doi.org/10.1016/j.jlamp.2024.100963
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
Number of records 2, displaying
1 - 2
keyword
257
1.
formal language theory
2.
formal category theory
3.
language theory
4.
Automata, Formal Verification
5.
Formal
6.
formal and combined safety elements
7.
formal and informal
8.
formal concept analysis
9.
formal education
10.
formal ferification
11.
formal languages
12.
formal logic
13.
formal methods
14.
formal PMS
15.
formal rationality
16.
formal reasoning
17.
formal revolution
18.
formal semantics
19.
formal specification
20.
formal verification
21.
mandatory formal concepts
22.
non-formal education
23.
rigorous formal diagrammatic system
24.
top-K formal concepts
25.
American Sign Language (ASL)
26.
Arabic language
27.
atom of regular language
28.
body language
29.
body language cues
30.
C++ programming language
31.
choreography language
32.
computer aided language translation
33.
computer assisted language learning
34.
computer-assisted language learning (CALL)
35.
controlled natural language
36.
cross-language analysis
37.
design language
38.
developmental language disorder
39.
diagrammatic language
40.
domain specific language
41.
English language
42.
Estonian language
43.
FHIR mapping language (FML) editor
44.
foreign language
45.
geography mark-up language (CityGML)
46.
Graph Modeling Language (GML)
47.
lab description language
48.
language
49.
language derivatives
50.
language identification
51.
language intelligence
52.
language learning
53.
language modeling
54.
language models
55.
language of driving
56.
language of technology
57.
language processing
58.
language proficiency
59.
Language reform
60.
language returns
61.
language skills
62.
language technology
63.
large language models
64.
large language models (LLM)
65.
modeling language
66.
modelling language
67.
multidomain language model
68.
native language
69.
natural language processing
70.
natural language processing (NLP)
71.
natural language understanding
72.
ontology web language
73.
pattern language
74.
Property Specification Language (PSL)
75.
recurrent neural network language model
76.
regular language
77.
Russian language
78.
Russian language minority
79.
Rust language
80.
second language
81.
second language acquisition
82.
semanting parsing the natural language
83.
smart contract language
84.
spoken language recognition
85.
statistical language modeling
86.
structured query language (SQL)
87.
SWRL (Semantic Web Rule Language)
88.
test scenario description language
89.
the Estonian language
90.
unified modelling language (UML)
91.
a coherent theory of proofs
92.
activity theory
93.
adaptive structuration theory (AST)
94.
algebraic number theory
95.
algebraic theory
96.
algorithm design and theory
97.
beam theory
98.
behavioral reasoning theory
99.
bicategory theory
100.
Bond theory
101.
Boolean Algebra Meets Graph-Theory
102.
catastrophe theory
103.
category theory
104.
chaos theory
105.
coding theory
106.
cognitive theory
107.
commitment theory
108.
communication channels (information theory)
109.
Complex systems theory
110.
complexity leadership theory
111.
complexity theory
112.
computation theory
113.
computer softwaregraph theory
114.
conservation of resources theory
115.
Consumer Culture Theory
116.
control theory
117.
Cooper-Helmstetter cell cycle theory
118.
cosmology theory
119.
cosmology: theory
120.
critical theory of technology
121.
cultural theory of international relations
122.
dark matter theory
123.
decision theory
124.
Dempster-Shafer theory
125.
Demster-Shafer Theory
126.
density functional theory
127.
density functional theory (DFT)
128.
dependent type theory
129.
design theory
130.
development theory
131.
Digital Government Theory: Development and Application
132.
dispersive theory
133.
domain theory
134.
ecological systems theory
135.
economic theory
136.
end of theory
137.
energetic impact theory
138.
enriched category theory
139.
Euler Bernoulli beams theory
140.
evolutionary theory of policy capacity
141.
Flow theory
142.
fully nonlinear potential theory
143.
game theory
144.
general systems theory
145.
general theory of information transfer
146.
general vibration theory
147.
graph theory
148.
gravitational waves / theory
149.
grounded theory
150.
group theory
151.
group threat theory
152.
higher-order beam theory
153.
History and Theory
154.
homotopy theory
155.
homotopy type theory
156.
housemoney effect prospect theory
157.
iceberg theory of culture
158.
image theory
159.
information theory
160.
innovation theory
161.
institutional theory
162.
intellectual capital theory
163.
interdependence theory
164.
inverse problem theory/applications
165.
inverse problems theory/applications
166.
job search theory
167.
Lawvere theory
168.
layer-wise displacement theory
169.
linear systems theory
170.
macro-foundational theory
171.
maritime investment theory
172.
mechanism design theory
173.
meso-foundational theory
174.
micro-foundational theory
175.
middle-range theory
176.
mindlin plate theory
177.
modern portfolio theory
178.
network theory
179.
nonlinear shallow water theory
180.
nonlinear shallow-water theory
181.
nonlinear strip theory
182.
nonlinear theory
183.
normal torsion theory
184.
number theory
185.
organismic integration theory
186.
organization theory
187.
organizational theory
188.
peer‐to‐peer theory
189.
perceived customer value theory
190.
phase field theory
191.
picture theory
192.
protection motivation theory
193.
proto-theory of design
194.
punctuated equilibrium theory
195.
rational choice theory
196.
real options theory
197.
realization theory
198.
reduction theory
199.
refined zigzag theory
200.
regulatory focus theory
201.
sampling theory
202.
scapegoat theory
203.
search and matching theory
204.
self-determination theory
205.
self-determination theory of work motivation
206.
set theory
207.
shallow water theory
208.
shallow‐water theory
209.
sign theory
210.
signalling theory
211.
social exchange theory
212.
social identity theory
213.
social practice theory
214.
social presence theory
215.
social representation theory
216.
social system theory
217.
social systems theory
218.
sociological curriculum theory
219.
S-O-R theory
220.
speech-act theory
221.
stakeholder theory
222.
Stakeholder-oriented decision theory
223.
State Theory
224.
stimulus-organism-response theory
225.
stochastic learning theory
226.
strategic narrative theory
227.
strategic narrative theory
228.
Straussian theory model
229.
structuration theory
230.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
231.
switching theory
232.
synchronous reference frame theory
233.
system theory
234.
systems theory
235.
the RAT theory
236.
theory
237.
theory and practice of meta-modelling with application in healthcare
238.
theory building
239.
theory of accounting
240.
Theory of computation
241.
Theory Of Constraints (TOC)
242.
theory of economic development
243.
theory of inventive problem solving (TRIZ)
244.
theory of natural disaster
245.
Theory of paradox
246.
theory of planned behavior
247.
theory of planned behaviour
248.
theory of signs
249.
theory of value
250.
theory selection
251.
ticked cubical type theory
252.
time-dependent density functional theory (TD-DFT)
253.
type theory
254.
unified theory of acceptance and use of technology
255.
value theory
256.
virtual disc theory
257.
2D+T theory
author
1
1.
Tallinna Polytechnic Institute, Chair of Foreign Language
×
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