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