Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 (eBook)
XIV, 554 Seiten
Springer US (Verlag)
978-0-387-09680-3 (ISBN)
Track A.- Ambiguity and Complementation in Recognizable Two-dimensional Languages.- Algorithmic Game Theory: Some Greatest Hits and Future Directions.- Synchronizing Road Coloring.- Leader Election in Anonymous Rings: Franklin Goes Probabilistic.- Inverse Problems Have Inverse Complexity.- Literal Shuffle of Compressed Words.- Reconstructing words from a fixed palindromic length sequence.- The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.- Partitioning Random Graphs with General Degree Distributions.- On the Longest Common Factor Problem.- Stable Dynamics of Sand Automata.- On tractability of Cops and Robbers game.- Computability of Tilings.- A Classification of Degenerate Loop Agreement.- On the expressive power of univariate equations over sets of natural numbers.- Collisions and their Catenations: Ultimately Periodic Tilings of the Plane.- Cache-sensitive Memory Layout for Binary Trees.- Track B.- From Processes to ODEs by Chemistry.- Differential Linear Logic and Processes.- Solving Monotone Polynomial Equations.- Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.- Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.- ?-calculus Pushdown Module Checking with Imperfect State Information.- From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.- On Traits and Types in a Java-like Setting.- Canonical Sequent Proofs via Multi-Focusing.- Universal Coinductive Characterisations of Process Semantics.- Static and dynamic typing for the termination of mobile processes.- Regular n-ary Queries in Trees and Variable Independence.- Hamiltonicity of automatic graphs.- Marking the chops: an unambiguous temporal logic.- On Boundedness in Depth in the ?-Calculus.- A Unified View of Tree Automata and Term Schematisations.- Deconstructing behavioural theories of mobility.- Adequacy of Compositional Translations for Observational Semantics.- The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
Erscheint lt. Verlag | 22.7.2008 |
---|---|
Sprache | englisch |
Themenwelt | Geschichte ► Teilgebiete der Geschichte ► Technikgeschichte |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Naturwissenschaften | |
Wirtschaft ► Betriebswirtschaft / Management ► Wirtschaftsinformatik | |
Schlagworte | algorithmic • Artificial Intelligence • Computer • Computer Science • Education • Foundations • Human-Computer interaction • Human-Computer Interaction (HCI) • Information Processing • information system • literal shuffle • Modeling • mv-decomposition • Optimization • System Modeling • TCS 2008 |
ISBN-10 | 0-387-09680-9 / 0387096809 |
ISBN-13 | 978-0-387-09680-3 / 9780387096803 |
Haben Sie eine Frage zum Produkt? |
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich