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