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/268)
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
267
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 (LLMs)
66.
modeling language
67.
modelling language
68.
multidomain language model
69.
native language
70.
natural 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.
Dynamic capability theory
142.
ecological systems theory
143.
economic theory
144.
end of theory
145.
energetic impact theory
146.
engaged theory
147.
enriched category theory
148.
Euler Bernoulli beams theory
149.
evolutionary theory of policy capacity
150.
Flow theory
151.
fully nonlinear potential theory
152.
game theory
153.
general systems theory
154.
general theory of information transfer
155.
general vibration theory
156.
graph theory
157.
gravitational waves / theory
158.
grounded theory
159.
group theory
160.
group threat theory
161.
higher-order beam theory
162.
History and Theory
163.
homotopy theory
164.
homotopy type theory
165.
housemoney effect prospect theory
166.
iceberg theory of culture
167.
image theory
168.
information theory
169.
innovation theory
170.
institutional theory
171.
intellectual capital theory
172.
interdependence theory
173.
inverse problem theory/applications
174.
inverse problems theory/applications
175.
job search theory
176.
Lawvere theory
177.
layer-wise displacement theory
178.
linear systems theory
179.
macro-foundational theory
180.
maritime investment theory
181.
mechanism design theory
182.
meso-foundational theory
183.
micro-foundational theory
184.
middle-range theory
185.
mindlin plate theory
186.
modern portfolio theory
187.
network theory
188.
nonlinear shallow water theory
189.
nonlinear shallow-water theory
190.
nonlinear strip theory
191.
nonlinear theory
192.
normal torsion theory
193.
number theory
194.
organismic integration theory
195.
organization theory
196.
organizational theory
197.
peer‐to‐peer theory
198.
perceived customer value theory
199.
phase field theory
200.
picture theory
201.
protection motivation theory
202.
proto-theory of design
203.
public administration theory
204.
punctuated equilibrium theory
205.
rational choice theory
206.
real options theory
207.
realization theory
208.
reduction theory
209.
refined zigzag theory
210.
regulatory focus theory
211.
sampling theory
212.
scapegoat theory
213.
search and matching theory
214.
self-determination theory
215.
self-determination theory of work motivation
216.
set theory
217.
shallow water theory
218.
shallow‐water theory
219.
sign theory
220.
signalling theory
221.
social exchange theory
222.
social identity theory
223.
social practice theory
224.
social presence theory
225.
social representation theory
226.
social system theory
227.
social systems theory
228.
sociological curriculum theory
229.
S-O-R theory
230.
speech-act theory
231.
stakeholder theory
232.
Stakeholder-oriented decision theory
233.
State Theory
234.
stimulus-organism-response theory
235.
stochastic learning theory
236.
strategic narrative theory
237.
strategic narrative theory
238.
Straussian theory model
239.
structuration theory
240.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
241.
switching theory
242.
synchronous reference frame theory
243.
system theory
244.
systems theory
245.
the RAT theory
246.
theory
247.
theory and practice of meta-modelling with application in healthcare
248.
theory building
249.
theory of accounting
250.
Theory of computation
251.
Theory Of Constraints (TOC)
252.
theory of economic development
253.
theory of inventive problem solving (TRIZ)
254.
theory of natural disaster
255.
Theory of paradox
256.
theory of planned behavior
257.
theory of planned behaviour
258.
theory of signs
259.
theory of value
260.
theory selection
261.
ticked cubical type theory
262.
time-dependent density functional theory (TD-DFT)
263.
type theory
264.
unified theory of acceptance and use of technology
265.
value theory
266.
virtual disc theory
267.
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