عنوان

Mathematical foundations of computer science 2003 :

شابک

3540440402

شابک

9783540440406

شماره

b552864

عنوان اصلي

Mathematical foundations of computer science 2003 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings

نام نخستين پديدآور

Krzysztof Diks and Wojciech Rytter (eds.).

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©2002.

نام خاص و کميت اثر

xii, 652 pages : illustrations ; 24 cm.

عنوان فروست

Lecture notes in computer science, 2120.

متن يادداشت

Invited Talks.- Global Development via Local Observational Construction Steps.- Edge-Colouring Pairs of Binary Trees: Towards a Concise Proof of the Four-Colour Theorem of Planar Maps.- Applications of Finite Automata.- Approximability of the Minimum Bisection Problem: An Algorithmic Challenge.- Low Stretch Spanning Trees.- Contributed Talks.- On Radiocoloring Hierarchically Specified Planar Graphs: -Completeness and Approximations.- Finite Domain Constraint Satisfaction Using Quantum Computation.- Fast Algorithms with Algebraic Monge Properties.- Packing Edges in Random Regular Graphs.- A Lower Bound Technique for Nondeterministic Graph-Driven Read-Once-Branching Programs and Its Applications.- Matroid Intersections, Polymatroid Inequalities, and Related Problems.- Accessibility in Automata on Scattered Linear Orderings.- On Infinite Terms Having a Decidable Monadic Theory.- A Chomsky-Like Hierarchy of Infinite Graphs.- Competitive Analysis of On-line Stream Merging Algorithms.- Coloring k-Colorable Semirandom Graphs in Polynomial Expected Time via Semidefinite Programming.- On Word Equations in One Variable.- Autoreducibility of Random Sets: A Sharp Bound on the Density of Guessed Bits.- Two-Way Finite State Transducers with Nested Pebbles.- Optimal Non-preemptive Semi-online Scheduling on Two Related Machines.- More on Weighted Servers or Fifo is Better than Lru.- On Maximizing the Throughput of Multiprocessor Tasks.- Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures.- Evolutive Tandem Repeats Using Hamming Distance.- Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded Treewidth.- Computing Partial Information out of Intractable One - The First Digit of 2n at Base 3 as an Example.- Algorithms for Computing Small NFAs.- Space-Economical Construction of Index Structures for All Suffixes of a String.- An Explicit Lower Bound of 5n ? o(n) for Boolean Circuits.- Computational Complexity in the Hyperbolic Plane.- On a Mereological System for Relational Software Specifications.- An Optimal Lower Bound for Resolution with 2-Conjunctions.- Improved Parameterized Algorithms for Planar Dominating Set.- Optimal Free Binary Decision Diagrams for Computation of EARn.- Unification Modulo Associativity and Idempotency Is NP-complete.- On the Complexity of Semantic Equivalences for Pushdown Automata and BPA.- An Improved Algorithm for the Membership Problem for Extended Regular Expressions.- Efficient Algorithms for Locating the Length-Constrained Heaviest Segments, with Applications to Biomolecular Sequence Analysis.- Derivation of Rational Expressions with Multiplicity.- Hypothesis-Founded Semantics for Datalog Programs with Negation.- On the Problem of Scheduling Flows on Distributed Networks.- Unit Testing for Casl Architectural Specifications.- Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems.- The Complexity of Tree Multicolorings.- On Verifying Fair Lossy Channel Systems.- Parameterized Counting Problems.- On the Construction of Effective Random Sets.- On the Structure of the Simulation Order of Proof Systems.- Comorphism-Based Grothendieck Logics.- Finite Test-Sets for Overlap-Free Morphisms.- Characterizing Simpler Recognizable Sets of Integers.- Towards a Cardinality Theorem for Finite Automata.- An Approximation Semantics for the Propositional Mu-Calculus.

موضوع مستند نشده

Computer science -- Mathematics -- Congresses.

موضوع مستند نشده

Computer science -- Mathematics.

مستند نام اشخاص تاييد نشده

Krzysztof Diks and Wojciech Rytter (eds.).

مستند نام اشخاص تاييد نشده

Krzysztof Diks

مستند نام اشخاص تاييد نشده

Wojciech Rytter

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y