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/228)
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
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
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