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
Liitotsing
Valitud kirjed
0
formal language theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
2
Vaata veel..
(2/255)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
2
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
254
1.
formal language theory
2.
formal category theory
3.
language theory
4.
Automata, Formal Verification
5.
Formal
6.
formal and combined safety elements
7.
formal and informal
8.
formal concept analysis
9.
formal education
10.
formal ferification
11.
formal languages
12.
formal logic
13.
formal methods
14.
formal PMS
15.
formal rationality
16.
formal reasoning
17.
formal revolution
18.
formal semantics
19.
formal specification
20.
formal verification
21.
mandatory formal concepts
22.
non-formal education
23.
rigorous formal diagrammatic system
24.
top-K formal concepts
25.
American Sign Language (ASL)
26.
Arabic language
27.
atom of regular language
28.
body language
29.
body language cues
30.
C++ programming language
31.
choreography language
32.
computer aided language translation
33.
computer assisted language learning
34.
computer-assisted language learning (CALL)
35.
controlled natural language
36.
cross-language analysis
37.
design language
38.
developmental language disorder
39.
diagrammatic language
40.
domain specific language
41.
English language
42.
Estonian language
43.
FHIR mapping language (FML) editor
44.
foreign language
45.
geography mark-up language (CityGML)
46.
Graph Modeling Language (GML)
47.
lab description language
48.
language
49.
language derivatives
50.
language identification
51.
language intelligence
52.
language learning
53.
language modeling
54.
language models
55.
language of driving
56.
language of technology
57.
language processing
58.
language proficiency
59.
Language reform
60.
language returns
61.
language skills
62.
language technology
63.
large language models
64.
large language models (LLM)
65.
modeling language
66.
modelling language
67.
multidomain language model
68.
native language
69.
natural language processing
70.
natural language processing (NLP)
71.
natural language understanding
72.
ontology web language
73.
pattern language
74.
Property Specification Language (PSL)
75.
recurrent neural network language model
76.
regular language
77.
Russian language
78.
Russian language minority
79.
Rust language
80.
second language
81.
second language acquisition
82.
semanting parsing the natural language
83.
smart contract language
84.
spoken language recognition
85.
statistical language modeling
86.
structured query language (SQL)
87.
SWRL (Semantic Web Rule Language)
88.
test scenario description language
89.
the Estonian language
90.
unified modelling language (UML)
91.
a coherent theory of proofs
92.
activity theory
93.
adaptive structuration theory (AST)
94.
algebraic number theory
95.
algebraic theory
96.
algorithm design and theory
97.
beam theory
98.
behavioral reasoning theory
99.
bicategory theory
100.
Bond theory
101.
Boolean Algebra Meets Graph-Theory
102.
catastrophe theory
103.
category theory
104.
chaos theory
105.
coding theory
106.
cognitive theory
107.
commitment theory
108.
communication channels (information theory)
109.
Complex systems theory
110.
complexity leadership theory
111.
complexity theory
112.
computation theory
113.
computer softwaregraph theory
114.
conservation of resources theory
115.
Consumer Culture Theory
116.
control theory
117.
Cooper-Helmstetter cell cycle theory
118.
cosmology: theory
119.
critical theory of technology
120.
cultural theory of international relations
121.
dark matter theory
122.
decision theory
123.
Dempster-Shafer theory
124.
Demster-Shafer Theory
125.
density functional theory
126.
density functional theory (DFT)
127.
dependent type theory
128.
design theory
129.
development theory
130.
Digital Government Theory: Development and Application
131.
dispersive theory
132.
domain theory
133.
ecological systems theory
134.
economic theory
135.
end of theory
136.
energetic impact theory
137.
enriched category theory
138.
Euler Bernoulli beams theory
139.
evolutionary theory of policy capacity
140.
Flow theory
141.
fully nonlinear potential theory
142.
game theory
143.
general systems theory
144.
general theory of information transfer
145.
general vibration theory
146.
graph theory
147.
gravitational waves / theory
148.
grounded theory
149.
group theory
150.
group threat theory
151.
higher-order beam theory
152.
History and Theory
153.
homotopy theory
154.
homotopy type theory
155.
housemoney effect prospect theory
156.
iceberg theory of culture
157.
image theory
158.
information theory
159.
innovation theory
160.
institutional theory
161.
intellectual capital theory
162.
interdependence theory
163.
inverse problem theory/applications
164.
inverse problems theory/applications
165.
job search theory
166.
Lawvere theory
167.
layer-wise displacement theory
168.
linear systems theory
169.
macro-foundational theory
170.
maritime investment theory
171.
mechanism design theory
172.
meso-foundational theory
173.
micro-foundational theory
174.
middle-range theory
175.
modern portfolio theory
176.
network theory
177.
nonlinear shallow water theory
178.
nonlinear shallow-water theory
179.
nonlinear strip theory
180.
nonlinear theory
181.
normal torsion theory
182.
number theory
183.
organization theory
184.
organizational theory
185.
peer‐to‐peer theory
186.
perceived customer value theory
187.
phase field theory
188.
picture theory
189.
protection motivation theory
190.
proto-theory of design
191.
punctuated equilibrium theory
192.
rational choice theory
193.
real options theory
194.
realization theory
195.
reduction theory
196.
refined zigzag theory
197.
regulatory focus theory
198.
sampling theory
199.
scapegoat theory
200.
search and matching theory
201.
self-determination theory
202.
self-determination theory of work motivation
203.
set theory
204.
shallow water theory
205.
shallow‐water theory
206.
sign theory
207.
signalling theory
208.
social exchange theory
209.
social identity theory
210.
social practice theory
211.
social presence theory
212.
social representation theory
213.
social system theory
214.
social systems theory
215.
sociological curriculum theory
216.
S-O-R theory
217.
speech-act theory
218.
stakeholder theory
219.
Stakeholder-oriented decision theory
220.
State Theory
221.
stimulus-organism-response theory
222.
stochastic learning theory
223.
strategic narrative theory
224.
strategic narrative theory
225.
Straussian theory model
226.
structuration theory
227.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
228.
switching theory
229.
synchronous reference frame theory
230.
system theory
231.
systems theory
232.
the RAT theory
233.
theory
234.
theory and practice of meta-modelling with application in healthcare
235.
theory building
236.
theory of accounting
237.
Theory of computation
238.
Theory Of Constraints (TOC)
239.
theory of economic development
240.
theory of inventive problem solving (TRIZ)
241.
theory of natural disaster
242.
Theory of paradox
243.
theory of planned behavior
244.
theory of planned behaviour
245.
theory of signs
246.
theory of value
247.
theory selection
248.
ticked cubical type theory
249.
time-dependent density functional theory (TD-DFT)
250.
type theory
251.
unified theory of acceptance and use of technology
252.
value theory
253.
virtual disc theory
254.
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