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