Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

formal language theory (keyword)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (2/236)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
2

journal article EST / journal article ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / 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

journal article EST / journal article ENG

Number of records 2, displaying 1 - 2

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

1. Tallinna Polytechnic Institute, Chair of Foreign Language

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu