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