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/267)
Export
export all inquiry results
(2)
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
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
266
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 diarization
51.
language identification
52.
language intelligence
53.
language learning
54.
language modeling
55.
language models
56.
language of driving
57.
language of technology
58.
language processing
59.
language proficiency
60.
Language reform
61.
language returns
62.
language skills
63.
language technology
64.
large language model (LLM)
65.
large language models
66.
large language models (LLM)
67.
modeling language
68.
modelling language
69.
multidomain language model
70.
native language
71.
natural language processing
72.
natural language processing (NLP)
73.
natural language to database interface
74.
natural language understanding
75.
ontology web language
76.
pattern language
77.
Property Specification Language (PSL)
78.
recurrent neural network language model
79.
regular language
80.
Russian language
81.
Russian language minority
82.
Rust language
83.
second language
84.
second language acquisition
85.
semanting parsing the natural language
86.
smart contract language
87.
spoken language recognition
88.
statistical language modeling
89.
structured query language (SQL)
90.
SWRL (Semantic Web Rule Language)
91.
test scenario description language
92.
the Estonian language
93.
unified modelling language (UML)
94.
a coherent theory of proofs
95.
activity theory
96.
adaptive structuration theory (AST)
97.
algebraic number theory
98.
algebraic theory
99.
algorithm design and theory
100.
beam theory
101.
behavioral reasoning theory
102.
bicategory theory
103.
Biot theory
104.
Bond theory
105.
Boolean Algebra Meets Graph-Theory
106.
catastrophe theory
107.
category theory
108.
chaos theory
109.
coding theory
110.
cognitive theory
111.
commitment theory
112.
communication channels (information theory)
113.
Complex systems theory
114.
complexity leadership theory
115.
complexity theory
116.
computation theory
117.
computer softwaregraph theory
118.
conservation of resources theory
119.
Consumer Culture Theory
120.
control and systems theory
121.
control theory
122.
Cooper-Helmstetter cell cycle theory
123.
cosmology theory
124.
cosmology: theory
125.
critical theory of technology
126.
cultural theory of international relations
127.
dark matter theory
128.
decision theory
129.
Dempster-Shafer theory
130.
Demster-Shafer Theory
131.
density functional theory
132.
density functional theory (DFT)
133.
dependent type theory
134.
design theory
135.
Dezert–Smarandache theory
136.
development theory
137.
Digital Government Theory: Development and Application
138.
dispersive theory
139.
domain theory
140.
dual-process theory
141.
ecological systems theory
142.
economic theory
143.
end of theory
144.
energetic impact theory
145.
engaged theory
146.
enriched category theory
147.
Euler Bernoulli beams theory
148.
evolutionary theory of policy capacity
149.
Flow theory
150.
fully nonlinear potential theory
151.
game theory
152.
general systems theory
153.
general theory of information transfer
154.
general vibration theory
155.
graph theory
156.
gravitational waves / theory
157.
grounded theory
158.
group theory
159.
group threat theory
160.
higher-order beam theory
161.
History and Theory
162.
homotopy theory
163.
homotopy type theory
164.
housemoney effect prospect theory
165.
iceberg theory of culture
166.
image theory
167.
information theory
168.
innovation theory
169.
institutional theory
170.
intellectual capital theory
171.
interdependence theory
172.
inverse problem theory/applications
173.
inverse problems theory/applications
174.
job search theory
175.
Lawvere theory
176.
layer-wise displacement theory
177.
linear systems theory
178.
macro-foundational theory
179.
maritime investment theory
180.
mechanism design theory
181.
meso-foundational theory
182.
micro-foundational theory
183.
middle-range theory
184.
mindlin plate theory
185.
modern portfolio theory
186.
network theory
187.
nonlinear shallow water theory
188.
nonlinear shallow-water theory
189.
nonlinear strip theory
190.
nonlinear theory
191.
normal torsion theory
192.
number theory
193.
organismic integration theory
194.
organization theory
195.
organizational theory
196.
peer‐to‐peer theory
197.
perceived customer value theory
198.
phase field theory
199.
picture theory
200.
protection motivation theory
201.
proto-theory of design
202.
public administration theory
203.
punctuated equilibrium theory
204.
rational choice theory
205.
real options theory
206.
realization theory
207.
reduction theory
208.
refined zigzag theory
209.
regulatory focus theory
210.
sampling theory
211.
scapegoat theory
212.
search and matching theory
213.
self-determination theory
214.
self-determination theory of work motivation
215.
set theory
216.
shallow water theory
217.
shallow‐water theory
218.
sign theory
219.
signalling theory
220.
social exchange theory
221.
social identity theory
222.
social practice theory
223.
social presence theory
224.
social representation theory
225.
social system theory
226.
social systems theory
227.
sociological curriculum theory
228.
S-O-R theory
229.
speech-act theory
230.
stakeholder theory
231.
Stakeholder-oriented decision theory
232.
State Theory
233.
stimulus-organism-response theory
234.
stochastic learning theory
235.
strategic narrative theory
236.
strategic narrative theory
237.
Straussian theory model
238.
structuration theory
239.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
240.
switching theory
241.
synchronous reference frame theory
242.
system theory
243.
systems theory
244.
the RAT theory
245.
theory
246.
theory and practice of meta-modelling with application in healthcare
247.
theory building
248.
theory of accounting
249.
Theory of computation
250.
Theory Of Constraints (TOC)
251.
theory of economic development
252.
theory of inventive problem solving (TRIZ)
253.
theory of natural disaster
254.
Theory of paradox
255.
theory of planned behavior
256.
theory of planned behaviour
257.
theory of signs
258.
theory of value
259.
theory selection
260.
ticked cubical type theory
261.
time-dependent density functional theory (TD-DFT)
262.
type theory
263.
unified theory of acceptance and use of technology
264.
value theory
265.
virtual disc theory
266.
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