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