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