Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formal language theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/226)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
225
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 theory
85.
algorithm design and theory
86.
beam theory
87.
bicategory theory
88.
catastrophe theory
89.
category theory
90.
chaos theory
91.
coding theory
92.
cognitive theory
93.
commitment theory
94.
communication channels (information theory)
95.
complexity leadership theory
96.
complexity theory
97.
computation theory
98.
computer softwaregraph theory
99.
conservation of resources theory
100.
Consumer Culture Theory
101.
control theory
102.
Cooper-Helmstetter cell cycle theory
103.
cosmology: theory
104.
critical theory of technology
105.
cultural theory of international relations
106.
dark matter theory
107.
decision theory
108.
Dempster-Shafer theory
109.
Demster-Shafer Theory
110.
density functional theory
111.
dependent type theory
112.
design theory
113.
development theory
114.
Digital Government Theory: Development and Application
115.
dispersive theory
116.
domain theory
117.
ecological systems theory
118.
economic theory
119.
end of theory
120.
energetic impact theory
121.
evolutionary theory of policy capacity
122.
Flow theory
123.
fully nonlinear potential theory
124.
game theory
125.
general systems theory
126.
general theory of information transfer
127.
general vibration theory
128.
graph theory
129.
gravitational waves / theory
130.
grounded theory
131.
group theory
132.
group threat theory
133.
higher-order beam theory
134.
History and Theory
135.
homotopy type theory
136.
housemoney effect prospect theory
137.
iceberg theory of culture
138.
image theory
139.
information theory
140.
innovation theory
141.
institutional theory
142.
intellectual capital theory
143.
interdependence theory
144.
inverse problem theory/applications
145.
inverse problems theory/applications
146.
job search theory
147.
Lawvere theory
148.
layer-wise displacement theory
149.
linear systems theory
150.
maritime investment theory
151.
mechanism design theory
152.
middle-range theory
153.
modern portfolio theory
154.
network theory
155.
nonlinear shallow water theory
156.
nonlinear shallow-water theory
157.
nonlinear strip theory
158.
nonlinear theory
159.
normal torsion theory
160.
number theory
161.
organization theory
162.
organizational theory
163.
peer‐to‐peer theory
164.
perceived customer value theory
165.
phase field theory
166.
picture theory
167.
protection motivation theory
168.
proto-theory of design
169.
punctuated equilibrium theory
170.
rational choice theory
171.
real options theory
172.
realization theory
173.
refined zigzag theory
174.
regulatory focus theory
175.
sampling theory
176.
scapegoat theory
177.
search and matching theory
178.
self-determination theory
179.
self-determination theory of work motivation
180.
set theory
181.
shallow water theory
182.
shallow‐water theory
183.
sign theory
184.
signalling theory
185.
social identity theory
186.
social practice theory
187.
social presence theory
188.
social representation theory
189.
social system theory
190.
social systems theory
191.
sociological curriculum theory
192.
speech-act theory
193.
stakeholder theory
194.
Stakeholder-oriented decision theory
195.
State Theory
196.
stimulus-organism-response theory
197.
stochastic learning theory
198.
strategic narrative theory
199.
strategic narrative theory
200.
Straussian theory model
201.
structuration theory
202.
switching theory
203.
synchronous reference frame theory
204.
system theory
205.
systems theory
206.
the RAT theory
207.
theory
208.
theory and practice of meta-modelling with application in healthcare
209.
theory of accounting
210.
Theory Of Constraints (TOC)
211.
theory of economic development
212.
theory of inventive problem solving (TRIZ)
213.
theory of natural disaster
214.
Theory of paradox
215.
theory of planned behavior
216.
theory of planned behaviour
217.
theory of signs
218.
theory of value
219.
ticked cubical type theory
220.
time-dependent density functional theory (TD-DFT)
221.
type theory
222.
unified theory of acceptance and use of technology
223.
value theory
224.
virtual disc theory
225.
2D+T theory
autor
1
1.
Tallinna Polytechnic Institute, Chair of Foreign Language
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT