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