Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Nielsen, Mogens (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rovan, Branislav (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Computer Science, 1893
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Invited Talks
  • Region Analysis and a ?-Calculus with Groups
  • Abstract Data Types in Computer Algebra
  • What Do We Learn from Experimental Algorithmics?
  • And/Or Hierarchies and Round Abstraction
  • Computational Politics: Electoral Systems
  • 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
  • On Algorithms and Interaction
  • On the Use of Duality and Geometry in Layouts for ATM Networks
  • Contributed Papers
  • On the Lower Bounds for One-Way Quantum Automata
  • Axiomatizing Fully Complete Models for ML Polymorphic Types
  • Measure Theoretic Completeness Notions for the Exponential Time Classes
  • Edge-Bisection of Chordal Rings
  • Equation Satisfiability and Program Satisfiability for Finite Monoids
  • XML Grammars
  • Simplifying Flow Networks
  • Balanced k-Colorings
  • A Compositional Model for Confluent Dynamic Data-Flow Networks
  • Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
  • Expressiveness of Updatable Timed Automata
  • Iterative Arrays with Small Time Bounds
  • Embedding Fibonacci Cubes into Hypercubes with ?(2cn) Faulty Nodes
  • Periodic-Like Words
  • The Monadic Theory of Morphic Infinite Words and Generalizations
  • Optical Routing of Uniform Instances in Tori
  • Factorizing Codes and Schützenberger Conjectures
  • Compositional Characterizations of ?-Terms Using Intersection Types
  • Time and Message Optimal Leader Election in Asynchronous Oriented Complete Networks
  • Subtractive Reductions and Complete Problems for Counting Complexity Classes
  • On the Autoreducibility of Random Sequences
  • Iteration Theories of Boolean Functions
  • An Algorithm Constructing the Semilinear Post for 2-Dim Reset/Transfer VASS
  • NP-Completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs
  • Explicit Fusions
  • State Space Reduction Using Partial ?-Confluence
  • Reducing the Number of Solutions of NP Functions
  • Regular Collections of Message Sequence Charts
  • Alternating and Empty Alternating Auxiliary Stack Automata
  • Counter Machines: Decidable Properties and Applications to Verification Problems
  • A Family of NFA's Which Need 2n - ? Deterministic States
  • Preemptive Scheduling on Dedicated Processors: Applications of Fractional Graph Coloring
  • Matching Modulo Associativity and Idempotency Is NP-Complete
  • On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems
  • Algebraic and Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization
  • Formal Series over Algebras
  • ?-Calculus Synthesis
  • The Infinite Versions of LogSpace ? P Are Consistent with the Axioms of Set Theory
  • Timed Automata with Monotonic Activities
  • On a Generalization of Bi-Complement Reducible Graphs
  • Automatic Graphs and Graph D0L-Systems
  • Bilinear Functions and Trees over the (max, +) Semiring
  • Derivability in Locally Quantified Modal Logics via Translation in Set Theory
  • ?-Calculus, Structured Coalgebras, and Minimal HD-Automata
  • Informative Labeling Schemes for Graphs
  • Separation Results for Rebound Automata
  • Unary Pushdown Automata and Auxiliary Space Lower Bounds
  • Binary Decision Diagrams by Shared Rewriting
  • Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL
  • Why so Many Temporal Logics Climb up the Trees?
  • Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems
  • A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism
  • On Diving in Trees Thomas Schwentick
  • Abstract Syntax and Variable Binding for Linear Binders
  • Regularity of Congruential Graphs
  • Sublinear Ambiguity
  • An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions.