VEN 发表于 2025-3-26 21:41:53

Traces, histories, graphs: Instances of a process monoid,

bile648 发表于 2025-3-27 01:48:20

Nondeterminism is essential for two-way counter machines,

可商量 发表于 2025-3-27 06:25:20

hen Schlaganfallgesellschaft, der Deutschen Gesellschaft für Neurointensivmedizin, Gründungs- und Ehrenpräsident der Europäischen Schlaganfallorganisation. Prof. Hacke war und ist Aut978-3-662-46892-0Series ISSN 0937-7433 Series E-ISSN 2512-5214

Minuet 发表于 2025-3-27 09:46:59

http://reply.papertrans.cn/63/6262/626120/626120_34.png

Endoscope 发表于 2025-3-27 16:40:03

http://reply.papertrans.cn/63/6262/626120/626120_35.png

esthetician 发表于 2025-3-27 18:15:53

http://reply.papertrans.cn/63/6262/626120/626120_36.png

克制 发表于 2025-3-27 23:08:20

Computability of probabilistic parameters for some classes of formal languages,e regular sets, with matricial algorithms on Markov chains related to deterministic finite-state automata ; at the end, the prefix-free languages of palindrom words, for which the use of counting generating series yields new results in the equally likely case, already studied in , and allows to give partial answers in the general case.

aqueduct 发表于 2025-3-28 04:40:46

A truely morphic characterization of recursively enumerable sets,on of the recursively enumerable sets, which says: For every recursively enumerable set L there exist four homomorphisms such that L=f. ° <f., f.> ° f.({$}) and L=h. ° <h., h.>. ° h.({$}), and four homomorphisms are minimal for such representations.

盟军 发表于 2025-3-28 08:56:23

http://reply.papertrans.cn/63/6262/626120/626120_39.png

龙虾 发表于 2025-3-28 13:24:25

VLSI algorithms and architectures,the cube-connected-cycles — which emulate the binary cube. Finally, we illustrate the mechanisms of pipelining, pleating, and mixing, which play a significant role in matching algorithms and architectures.
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Mathematical Foundations of Computer Science 1984; 11th Symposium Praha M. P. Chytil,V. Koubek Conference proceedings 1984 Springer-Verlag