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