Titlebook: Automata, Languages and Programming; 17th International C Michael S. Paterson Conference proceedings 1990 Springer-Verlag Berlin Heidelberg

Interlocking

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

系列

minaret

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.

箴言

choroid

Decibel

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 [5].

EVEN

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.

金盘是高原

choroid

tenuous