Interlocking
发表于 2025-3-25 03:54:54
0302-9743 ean Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data base
系列
发表于 2025-3-25 09:51:16
http://reply.papertrans.cn/17/1663/166223/166223_22.png
minaret
发表于 2025-3-25 12:05:51
LEDA: A library of efficient data types and algorithms,rity queue, directed and undirected graph and partition are available. Based on these data types a variety of network algorithms (shortest paths, matchings, network flow, planarity testing and embedding, ...) and geometric algorithms (plane sweep, Voronoi digrams, ...) are included.
箴言
发表于 2025-3-25 18:24:30
http://reply.papertrans.cn/17/1663/166223/166223_24.png
choroid
发表于 2025-3-25 23:02:40
http://reply.papertrans.cn/17/1663/166223/166223_25.png
Decibel
发表于 2025-3-26 00:51:46
Functions as processes,calculus is compared with that induced by the encoding of the lazy λ-calculus into π-calculus; a similar comparison is made for call-by-value λ-calculus..The part of π-calculus which is needed for the encoding is formulated in a new way, inspired by Berry‘s and Boudol‘s Chemical Abstract Machine .
EVEN
发表于 2025-3-26 06:00:47
Conference proceedings 1990ogical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.
金盘是高原
发表于 2025-3-26 11:20:56
http://reply.papertrans.cn/17/1663/166223/166223_28.png
choroid
发表于 2025-3-26 16:24:35
http://reply.papertrans.cn/17/1663/166223/166223_29.png
tenuous
发表于 2025-3-26 16:56:59
http://reply.papertrans.cn/17/1663/166223/166223_30.png