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