最 低 价：￥884.80
Invited Talks A Core Calculus for Scala Type Checking Tree Exploration with an Oracle Distributed Data Structures: A Survey on Informative Labeling Schemes From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions The Structure of Tractable Constraint Satisfaction Problems On the Representation of Kleene Algebras with Tests From Three Ideas in TCS to Three Applications in Bioinformatics Contributed Papers Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles Approximate Shortest Path Queries on Weighted Polyhedral Surfaces A Unified Construction of the Glushkov, Follow, and Antimirov Automata Algebraic Characterizations of Unitary Linear Quantum Cellular Automata A Polynomial Time Nilpotence Test for Galois Groups and Related Results The Multiparty Communication Bounds and New Problems Crochemore Factorization of Sturmian and Other Infinite Words Equations on Partial Words Concrete Multiplicative Complexity of Symmetric Functions On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities The Kleene Equality for Graphs On the Repetition Threshold for Large Alphabets hnproved Parameterized Upper Bounds for Vertex Cover On Comparing Sums of Square Roots of Small Integers A Combinatorial Approach to Collapsing Words Optimal Linear Arrangement of Interval Graphs The Lempel-Ziv Complexity of Fixed Points of Morphisms Partially Commutative Inverse Monoids Learning Bayesian Networks Does Not Have to Be NP-Hard …… Author Index |
内容加载中，请稍后...
商品评论（0条）