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