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