This series consists of technical reports produced by the members of the Chair for Automata Theory at TU Dresden. The purpose of these reports is to provide detailed
information (e.g., formal proofs, worked out examples, experimental results, etc.) for articles published in conference proceedings with page limits. The topics of these reports
lie in different areas of the overall research agenda of the chair, which includes Logic in Computer Science, symbolic AI, Knowledge Representation, Description Logics, Automated Deduction, and Automata Theory and its applications in the other fields.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:78504 |
| Date | 17 March 2022 |
| Creators | Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, doc-type:Periodical, info:eu-repo/semantics/Periodical, doc-type:Collection |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | qucosa:79251, qucosa:79496, qucosa:79018, qucosa:79020, qucosa:79021, qucosa:79022, qucosa:79023, qucosa:79025, qucosa:79026, qucosa:78981, qucosa:78983, qucosa:78984, qucosa:78985, qucosa:78505, qucosa:78506, qucosa:78991, qucosa:78992, qucosa:78996, qucosa:79600, qucosa:78997, qucosa:79603, qucosa:79602, qucosa:79605, qucosa:79604, qucosa:79607, qucosa:79606, qucosa:79571, qucosa:79570, qucosa:79330, qucosa:79331, qucosa:79332, qucosa:79333, qucosa:79334, qucosa:79335, qucosa:79336, qucosa:79218, qucosa:78805, qucosa:78806, qucosa:78807, qucosa:78808, qucosa:78809, qucosa:79582, qucosa:79581, qucosa:79220, qucosa:79584, qucosa:79583, qucosa:79586, qucosa:79585, qucosa:79588, qucosa:79347, qucosa:79348, qucosa:79589, qucosa:78810, qucosa:79349, qucosa:78811, qucosa:78817, qucosa:78818, qucosa:79591, qucosa:79590, qucosa:79350, qucosa:79351, qucosa:79592, qucosa:79352, qucosa:79595, qucosa:79353, qucosa:79594, qucosa:79596, qucosa:79599, qucosa:78820, qucosa:78821, qucosa:78822, qucosa:78824, qucosa:78825, qucosa:78826, qucosa:78827, qucosa:78829, qucosa:78830, qucosa:78831, qucosa:78832, qucosa:79531, qucosa:79530, qucosa:79533, qucosa:79532, qucosa:79535, qucosa:79534, qucosa:79537, qucosa:79536, qucosa:79539, qucosa:79540, qucosa:79542, qucosa:79541, qucosa:79543, qucosa:79546, qucosa:79548, qucosa:79549, qucosa:79551, qucosa:79550, qucosa:79553, qucosa:79552, qucosa:79555, qucosa:79554, qucosa:79557, qucosa:79556, qucosa:79317, qucosa:79558, qucosa:79319, qucosa:78902, qucosa:78903, qucosa:78904, qucosa:78905, qucosa:78906, qucosa:79560, qucosa:79562, qucosa:79320, qucosa:79561, qucosa:79321, qucosa:79564, qucosa:79563, qucosa:79323, qucosa:79566, qucosa:79324, qucosa:79565, qucosa:79568, qucosa:79567, qucosa:79327, qucosa:79328, qucosa:79569, qucosa:79329, qucosa:78913, qucosa:78914, qucosa:79609, qucosa:79608, qucosa:79050, qucosa:79051, qucosa:79053, qucosa:79055, qucosa:79057, qucosa:78883, qucosa:79973, qucosa:78884, qucosa:78885, qucosa:79612, qucosa:78886, qucosa:79614, qucosa:78888, qucosa:79613, qucosa:78889, qucosa:79616, qucosa:79615, qucosa:79618, qucosa:79617, qucosa:79619, qucosa:78890, qucosa:78891, qucosa:78892, qucosa:78893, qucosa:78894, qucosa:79621, qucosa:78895, qucosa:79620, qucosa:79623, qucosa:78897, qucosa:79501, qucosa:79622, qucosa:79625, qucosa:79624, qucosa:79506, qucosa:79627, qucosa:79505, qucosa:79626, qucosa:79508, qucosa:79629, qucosa:79628, qucosa:79509, qucosa:79630, qucosa:79511, qucosa:79510, qucosa:79631, qucosa:79513, qucosa:79512, qucosa:79515, qucosa:79514, qucosa:79516, qucosa:79519, qucosa:79518, qucosa:79520, qucosa:79522, qucosa:79521, qucosa:79524, qucosa:79523, qucosa:79526, qucosa:79525, qucosa:79528, qucosa:79527, qucosa:79529 |
Page generated in 0.0027 seconds