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/241)
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
240
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.
behavioral reasoning theory
94.
bicategory theory
95.
Boolean Algebra Meets Graph-Theory
96.
catastrophe theory
97.
category theory
98.
chaos theory
99.
coding theory
100.
cognitive theory
101.
commitment theory
102.
communication channels (information theory)
103.
complexity leadership theory
104.
complexity theory
105.
computation theory
106.
computer softwaregraph theory
107.
conservation of resources theory
108.
Consumer Culture Theory
109.
control theory
110.
Cooper-Helmstetter cell cycle theory
111.
cosmology: theory
112.
critical theory of technology
113.
cultural theory of international relations
114.
dark matter theory
115.
decision theory
116.
Dempster-Shafer theory
117.
Demster-Shafer Theory
118.
density functional theory
119.
density functional theory (DFT)
120.
dependent type theory
121.
design theory
122.
development theory
123.
Digital Government Theory: Development and Application
124.
dispersive theory
125.
domain theory
126.
ecological systems theory
127.
economic theory
128.
end of theory
129.
energetic impact theory
130.
enriched category theory
131.
evolutionary theory of policy capacity
132.
Flow theory
133.
fully nonlinear potential theory
134.
game theory
135.
general systems theory
136.
general theory of information transfer
137.
general vibration theory
138.
graph theory
139.
gravitational waves / theory
140.
grounded theory
141.
group theory
142.
group threat theory
143.
higher-order beam theory
144.
History and Theory
145.
homotopy theory
146.
homotopy type theory
147.
housemoney effect prospect theory
148.
iceberg theory of culture
149.
image theory
150.
information theory
151.
innovation theory
152.
institutional theory
153.
intellectual capital theory
154.
interdependence theory
155.
inverse problem theory/applications
156.
inverse problems theory/applications
157.
job search theory
158.
Lawvere theory
159.
layer-wise displacement theory
160.
linear systems theory
161.
maritime investment theory
162.
mechanism design theory
163.
middle-range theory
164.
modern portfolio theory
165.
network theory
166.
nonlinear shallow water theory
167.
nonlinear shallow-water theory
168.
nonlinear strip theory
169.
nonlinear theory
170.
normal torsion theory
171.
number theory
172.
organization theory
173.
organizational theory
174.
peer‐to‐peer theory
175.
perceived customer value theory
176.
phase field theory
177.
picture theory
178.
protection motivation theory
179.
proto-theory of design
180.
punctuated equilibrium theory
181.
rational choice theory
182.
real options theory
183.
realization theory
184.
reduction theory
185.
refined zigzag theory
186.
regulatory focus theory
187.
sampling theory
188.
scapegoat theory
189.
search and matching theory
190.
self-determination theory
191.
self-determination theory of work motivation
192.
set theory
193.
shallow water theory
194.
shallow‐water theory
195.
sign theory
196.
signalling theory
197.
social identity theory
198.
social practice theory
199.
social presence theory
200.
social representation theory
201.
social system theory
202.
social systems theory
203.
sociological curriculum theory
204.
S-O-R theory
205.
speech-act theory
206.
stakeholder theory
207.
Stakeholder-oriented decision theory
208.
State Theory
209.
stimulus-organism-response theory
210.
stochastic learning theory
211.
strategic narrative theory
212.
strategic narrative theory
213.
Straussian theory model
214.
structuration theory
215.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
216.
switching theory
217.
synchronous reference frame theory
218.
system theory
219.
systems theory
220.
the RAT theory
221.
theory
222.
theory and practice of meta-modelling with application in healthcare
223.
theory of accounting
224.
Theory of computation
225.
Theory Of Constraints (TOC)
226.
theory of economic development
227.
theory of inventive problem solving (TRIZ)
228.
theory of natural disaster
229.
Theory of paradox
230.
theory of planned behavior
231.
theory of planned behaviour
232.
theory of signs
233.
theory of value
234.
ticked cubical type theory
235.
time-dependent density functional theory (TD-DFT)
236.
type theory
237.
unified theory of acceptance and use of technology
238.
value theory
239.
virtual disc theory
240.
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