Computer Science Logic 18th (28 results)

2004. 16 x 24 cm. XI, 522 S. XI, 522 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch.…

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In English.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: New.

Paperback. Condition: Brand New. 2012 edition. 494 pages. 8.75x6.00x1.00 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Lectures.- Notions of Average-Case Complexity for Random 3-SAT.- Abstract Interpretation of Proofs: Classical Propositional Calculus.- Applications of Craig Interpolation to Model Checking.- Bindings, Mobility of Bindings, and the -Quantifier: An Abstract.- My (Un)Favourite Things.- Regular Papers.- On Nash Equilibria in Stochastic Games.- A Bounding Quantifier.- Parity and Exploration Games on Infinite Graphs.- Integrating Equational Reasoning into Instantiation-Based Theorem Proving.- Goal-Directed Methods for ukasiewicz Logic.- A General Theorem on Termination of Rewriting.- Predicate Transformers and Linear Logic: Yet Another Denotational Model.- Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.- On Proof Nets for Multiplicative Linear Logic with Units.- The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.- Game-Based Notions of Locality Over Finite Models.- Fixed Points of Type Constructors and Primitive Recursion.- On the Building of Affine Retractions.- Higher-Order Matching in the Linear -calculus with Pairing.- A Dependent Type Theory with Names and Binding.- Towards Mechanized Program Verification with Separation Logic.- A Functional Scenario for Bytecode Verification of Resource Bounds.- Proving Abstract Non-interference.- Intuitionistic LTL and a New Characterization of Safety and Liveness.- Moving in a Crumbling Network: The Balanced Case.- Parameterized Model Checking of Ring-Based Message Passing Systems.- A Third-Order Bounded Arithmetic Theory for PSPACE.- Provably Total Primitive Recursive Functions: Theories with Induction.- Logical Characterizations of PSPACE.- The Logic of the Partial -Calculus with Equality.- Complete Lax Logical Relations for Cryptographic Lambda-Calculi.-Subtyping Union Types.- Pfaffian Hybrid Systems.- Axioms for Delimited Continuations in the CPS Hierarchy.- Set Constraints on Regular Terms.- Unsound Theorem Proving.- A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.- Automated Generation of Analytic Calculi for Logics with Linearity.…

Condition: New. In English.

Condition: New.

Condition: New. In English.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007-2009 by Logitech S.A.…

Condition: New. pp. xi + 565 2009th edition.

Taschenbuch. Condition: Neu. Computer Science Logic | 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings | Erich Grädel (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642040269 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condition: Brand New. 2009 edition. 567 pages. 9.30x6.10x1.30 inches. In Stock.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 565 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Computer Science Logic | 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings | Jerzy Marcinkowski | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540230243 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Condition: New. Print on Demand pp. xi + 565 Illus.

Condition: New. PRINT ON DEMAND pp. xi + 565.