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