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