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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
—
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)
sõna
algab
täpne vaste
vabatekst
—
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/274)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT 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
273
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.
Finnish language
45.
foreign language
46.
geography mark-up language (CityGML)
47.
Graph Modeling Language (GML)
48.
lab description language
49.
language
50.
language derivatives
51.
language diarization
52.
language identification
53.
language intelligence
54.
language learning
55.
language modeling
56.
language models
57.
language of driving
58.
language of technology
59.
language processing
60.
language proficiency
61.
Language reform
62.
language returns
63.
language skills
64.
language technology
65.
large language model (LLM)
66.
Large Language Models
67.
large language models (LLMs)
68.
modeling language
69.
modelling language
70.
multidomain language model
71.
native language
72.
natural language
73.
natural language processing
74.
natural language processing (NLP)
75.
natural language to database interface
76.
natural language understanding
77.
ontology web language
78.
pattern language
79.
Property Specification Language (PSL)
80.
recurrent neural network language model
81.
regular language
82.
Russian language
83.
Russian language minority
84.
Rust language
85.
second language
86.
second language acquisition
87.
second language learning
88.
semanting parsing the natural language
89.
smart contract language
90.
spoken language identification
91.
spoken language recognition
92.
statistical language modeling
93.
structured query language (SQL)
94.
SWRL (Semantic Web Rule Language)
95.
test scenario description language
96.
the Estonian language
97.
unified modelling language (UML)
98.
a coherent theory of proofs
99.
activity theory
100.
adaptive structuration theory (AST)
101.
algebraic number theory
102.
algebraic theory
103.
algorithm design and theory
104.
beam theory
105.
behavioral reasoning theory
106.
bicategory theory
107.
Biot theory
108.
Bond theory
109.
Boolean Algebra Meets Graph-Theory
110.
catastrophe theory
111.
category theory
112.
chaos theory
113.
coding theory
114.
cognitive theory
115.
commitment theory
116.
communication channels (information theory)
117.
Complex systems theory
118.
complexity leadership theory
119.
complexity theory
120.
computation theory
121.
computer softwaregraph theory
122.
conservation of resources theory
123.
consumer culture theory
124.
control and systems theory
125.
control theory
126.
Cooper-Helmstetter cell cycle theory
127.
cosmology theory
128.
cosmology: theory
129.
critical theory of technology
130.
cultural theory of international relations
131.
dark matter theory
132.
decision theory
133.
Dempster-Shafer theory
134.
Demster-Shafer Theory
135.
density functional theory
136.
density functional theory (DFT)
137.
dependent type theory
138.
design theory
139.
Dezert–Smarandache theory
140.
development theory
141.
Digital Government Theory: Development and Application
142.
dispersive theory
143.
domain theory
144.
dual-process theory
145.
Dynamic capability theory
146.
dynamic social impact theory (DSIT)
147.
ecological systems theory
148.
economic theory
149.
end of theory
150.
energetic impact theory
151.
engaged theory
152.
enriched category theory
153.
Euler Bernoulli beams theory
154.
evolutionary theory of policy capacity
155.
Flow theory
156.
fully nonlinear potential theory
157.
game theory
158.
general systems theory
159.
general theory of information transfer
160.
general vibration theory
161.
graph theory
162.
gravitational waves / theory
163.
grounded theory
164.
group theory
165.
group threat theory
166.
higher-order beam theory
167.
History and Theory
168.
homotopy theory
169.
homotopy type theory
170.
housemoney effect prospect theory
171.
iceberg theory of culture
172.
image theory
173.
information theory
174.
innovation theory
175.
institutional theory
176.
intellectual capital theory
177.
interdependence theory
178.
inverse problem theory/applications
179.
inverse problems theory/applications
180.
job search theory
181.
Lawvere theory
182.
layer-wise displacement theory
183.
linear systems theory
184.
macro-foundational theory
185.
maritime investment theory
186.
mechanism design theory
187.
meso-foundational theory
188.
micro-foundational theory
189.
middle-range theory
190.
mindlin plate theory
191.
modern portfolio theory
192.
network theory
193.
nonlinear shallow water theory
194.
nonlinear shallow-water theory
195.
nonlinear strip theory
196.
nonlinear theory
197.
normal torsion theory
198.
number theory
199.
organismic integration theory
200.
organization theory
201.
organizational theory
202.
peer‐to‐peer theory
203.
perceived customer value theory
204.
phase field theory
205.
picture theory
206.
protection motivation theory
207.
proto-theory of design
208.
public administration theory
209.
punctuated equilibrium theory
210.
quantum theory
211.
rational choice theory
212.
real options theory
213.
realization theory
214.
reduction theory
215.
refined zigzag theory
216.
regulatory focus theory
217.
sampling theory
218.
scapegoat theory
219.
search and matching theory
220.
self-determination theory
221.
self-determination theory of work motivation
222.
set theory
223.
shallow water theory
224.
shallow‐water theory
225.
sign theory
226.
signalling theory
227.
social exchange theory
228.
social identity theory
229.
social practice theory
230.
social presence theory
231.
social representation theory
232.
social system theory
233.
social systems theory
234.
sociological curriculum theory
235.
S-O-R theory
236.
speech-act theory
237.
stakeholder theory
238.
Stakeholder-oriented decision theory
239.
State Theory
240.
stimulus-organism-response theory
241.
stochastic learning theory
242.
strategic narrative theory
243.
strategic narrative theory
244.
Straussian theory model
245.
structuration theory
246.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
247.
switching theory
248.
synchronous reference frame theory
249.
system theory
250.
systems theory
251.
the RAT theory
252.
theory
253.
theory and practice of meta-modelling with application in healthcare
254.
theory building
255.
theory of accounting
256.
Theory of computation
257.
Theory Of Constraints (TOC)
258.
theory of economic development
259.
theory of inventive problem solving (TRIZ)
260.
theory of natural disaster
261.
Theory of paradox
262.
theory of planned behavior
263.
theory of planned behaviour
264.
theory of signs
265.
theory of value
266.
theory selection
267.
ticked cubical type theory
268.
time-dependent density functional theory (TD-DFT)
269.
type theory
270.
unified theory of acceptance and use of technology
271.
value theory
272.
virtual disc theory
273.
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