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/244)
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
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
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
243
1.
formal language theory
2.
formal category theory
3.
Automata, Formal Verification
4.
Formal
5.
formal and combined safety elements
6.
formal and informal
7.
formal concept analysis
8.
formal education
9.
formal ferification
10.
formal languages
11.
formal logic
12.
formal methods
13.
formal PMS
14.
formal rationality
15.
formal reasoning
16.
formal revolution
17.
formal semantics
18.
formal specification
19.
formal verification
20.
mandatory formal concepts
21.
non-formal education
22.
rigorous formal diagrammatic system
23.
top-K formal concepts
24.
American Sign Language (ASL)
25.
Arabic language
26.
atom of regular language
27.
body language
28.
C++ programming language
29.
choreography language
30.
computer aided language translation
31.
computer assisted language learning
32.
computer-assisted language learning (CALL)
33.
controlled natural language
34.
cross-language analysis
35.
design language
36.
developmental language disorder
37.
diagrammatic language
38.
domain specific language
39.
English language
40.
Estonian language
41.
FHIR mapping language (FML) editor
42.
foreign language
43.
geography mark-up language (CityGML)
44.
Graph Modeling Language (GML)
45.
lab description language
46.
language
47.
language derivatives
48.
language identification
49.
language intelligence
50.
language learning
51.
language modeling
52.
language models
53.
language of driving
54.
language of technology
55.
language processing
56.
language proficiency
57.
Language reform
58.
language returns
59.
language skills
60.
language technology
61.
modeling language
62.
modelling language
63.
multidomain language model
64.
native language
65.
natural language processing
66.
natural language processing (NLP)
67.
natural language understanding
68.
ontology web language
69.
pattern language
70.
Property Specification Language (PSL)
71.
recurrent neural network language model
72.
regular language
73.
Russian language
74.
Russian language minority
75.
Rust language
76.
second language
77.
second language acquisition
78.
semanting parsing the natural language
79.
smart contract language
80.
spoken language recognition
81.
statistical language modeling
82.
structured query language (SQL)
83.
SWRL (Semantic Web Rule Language)
84.
test scenario description language
85.
the Estonian language
86.
unified modelling language (UML)
87.
a coherent theory of proofs
88.
activity theory
89.
adaptive structuration theory (AST)
90.
algebraic number theory
91.
algebraic theory
92.
algorithm design and theory
93.
beam theory
94.
behavioral reasoning theory
95.
bicategory theory
96.
Boolean Algebra Meets Graph-Theory
97.
catastrophe theory
98.
category theory
99.
chaos theory
100.
coding theory
101.
cognitive theory
102.
commitment theory
103.
communication channels (information theory)
104.
complexity leadership theory
105.
complexity theory
106.
computation theory
107.
computer softwaregraph theory
108.
conservation of resources theory
109.
Consumer Culture Theory
110.
control theory
111.
Cooper-Helmstetter cell cycle theory
112.
cosmology: theory
113.
critical theory of technology
114.
cultural theory of international relations
115.
dark matter theory
116.
decision theory
117.
Dempster-Shafer theory
118.
Demster-Shafer Theory
119.
density functional theory
120.
density functional theory (DFT)
121.
dependent type theory
122.
design theory
123.
development theory
124.
Digital Government Theory: Development and Application
125.
dispersive theory
126.
domain theory
127.
ecological systems theory
128.
economic theory
129.
end of theory
130.
energetic impact theory
131.
enriched category theory
132.
evolutionary theory of policy capacity
133.
Flow theory
134.
fully nonlinear potential theory
135.
game theory
136.
general systems theory
137.
general theory of information transfer
138.
general vibration theory
139.
graph theory
140.
gravitational waves / theory
141.
grounded theory
142.
group theory
143.
group threat theory
144.
higher-order beam theory
145.
History and Theory
146.
homotopy theory
147.
homotopy type theory
148.
housemoney effect prospect theory
149.
iceberg theory of culture
150.
image theory
151.
information theory
152.
innovation theory
153.
institutional theory
154.
intellectual capital theory
155.
interdependence theory
156.
inverse problem theory/applications
157.
inverse problems theory/applications
158.
job search theory
159.
Lawvere theory
160.
layer-wise displacement theory
161.
linear systems theory
162.
maritime investment theory
163.
mechanism design theory
164.
middle-range theory
165.
modern portfolio theory
166.
network theory
167.
nonlinear shallow water theory
168.
nonlinear shallow-water theory
169.
nonlinear strip theory
170.
nonlinear theory
171.
normal torsion theory
172.
number theory
173.
organization theory
174.
organizational theory
175.
peer‐to‐peer theory
176.
perceived customer value theory
177.
phase field theory
178.
picture theory
179.
protection motivation theory
180.
proto-theory of design
181.
punctuated equilibrium theory
182.
rational choice theory
183.
real options theory
184.
realization theory
185.
reduction theory
186.
refined zigzag theory
187.
regulatory focus theory
188.
sampling theory
189.
scapegoat theory
190.
search and matching theory
191.
self-determination theory
192.
self-determination theory of work motivation
193.
set theory
194.
shallow water theory
195.
shallow‐water theory
196.
sign theory
197.
signalling theory
198.
social exchange theory
199.
social identity theory
200.
social practice theory
201.
social presence theory
202.
social representation theory
203.
social system theory
204.
social systems theory
205.
sociological curriculum theory
206.
S-O-R theory
207.
speech-act theory
208.
stakeholder theory
209.
Stakeholder-oriented decision theory
210.
State Theory
211.
stimulus-organism-response theory
212.
stochastic learning theory
213.
strategic narrative theory
214.
strategic narrative theory
215.
Straussian theory model
216.
structuration theory
217.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
218.
switching theory
219.
synchronous reference frame theory
220.
system theory
221.
systems theory
222.
the RAT theory
223.
theory
224.
theory and practice of meta-modelling with application in healthcare
225.
theory building
226.
theory of accounting
227.
Theory of computation
228.
Theory Of Constraints (TOC)
229.
theory of economic development
230.
theory of inventive problem solving (TRIZ)
231.
theory of natural disaster
232.
Theory of paradox
233.
theory of planned behavior
234.
theory of planned behaviour
235.
theory of signs
236.
theory of value
237.
ticked cubical type theory
238.
time-dependent density functional theory (TD-DFT)
239.
type theory
240.
unified theory of acceptance and use of technology
241.
value theory
242.
virtual disc theory
243.
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