‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Linksbuch Neu neu Rechtsbuch

Kaminski, Michael (Herausgeber); Martini, Simone (Herausgeber)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 5213

Springer-Verlag GmbH, Springer Berlin, September 2008


513 S. - Sprache: Englisch - 244x159x32 mm

ISBN: 3540875301 EAN: 9783540875307

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.


Preis: 106,99 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 106,99 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Inhaltsverzeichnis

Invited Talks.- The Computability Path Ordering: The End of a Quest.- The Joy of String Diagrams.- Model Transformations in Decidability Proofs for Monadic Theories.- Molecules as Automata.- Contributed Papers.- An Infinite Automaton Characterization of Double Exponential Time.- Recursion Schemata for NC k .- Extensional Uniformity for Boolean Circuits.- Pure Pointer Programs with Iteration.- Quantified Positive Temporal Constraints.- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.- Continuous Fragment of the mu-Calculus.- On the Relations between the Syntactic Theories of ??-Calculi.- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.- Proving Infinitude of Prime Numbers Using Binomial Coefficients.- A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract).- Quantitative Game Semantics for Linear Logic.- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.- An Indexed System for Multiplicative Additive Polarized Linear Logic.- A Characterisation of Lambda Definability with Sums Via ???-Closure Operators.- Superposition for Fixed Domains.- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.- On the Almighty Wand.- On Counting Generalized Colorings.- The Descriptive Complexity of Parity Games.- An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games.- Quantitative Languages.- Characterization of Logics over Ranked Tree Languages.- The Nesting-Depth of Disjunctive ?-Calculus for Tree Languages and the Limitedness Problem.- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).- Syntactic Metatheory of Higher-Order Subtyping.- On Isomorphisms of Intersection Types.- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.- Type-Based Termination with Sized Products.- The Ackermann Session.- The Ackermann Award 2008.


ISBN 3-540-87530-1

ISBN 978-3-540-87530-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Web and Wireless Geographical Information Systems 10th International Symposium, W2GIS 2011, Kyoto, J von Tanaka, Katsushi (Herausgeber); Fröhlich, Peter (Herausgeber); Kim, Kyoung-Sook (Herausgeber)
69,99 EUR

Communication, Networks and Computing First International Conference, CNC 2018, Gwalior, India, Marc von Verma, Shekhar (Herausgeber); Tomar, Ranjeet Singh (Herausgeber); Chaurasia, Brijesh Kumar (Herausge
106,99 EUR

Privacy and Identity Management. Facing up to Next Steps 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 von Lehmann, Anja (Herausgeber); Whitehouse, Diane (Herausgeber); Fischer-Hübner, Simone (Herausgeber);
85,59 EUR

Database and Expert Systems Applications 25th International Conference, DEXA 2014, Munich, Germany, von Decker, Hendrik (Herausgeber); Lhotská, Lenka (Herausgeber); Link, Sebastian (Herausgeber); Spies, M
79,99 EUR

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, Sep von Soloveichik, David (Herausgeber); Yurke, Bernard (Herausgeber)
67,40 EUR

Data Privacy Management and Autonomous Spontaneous Security 4th International Workshop, DPM 2009 and von Cuppens-Boulahia, Nora (Herausgeber); Garcia-Alfaro, Joaquin (Herausgeber); Navarro-Arribas, Guiller
74,89 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.