Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - Brossura

Brossura

ISBN 10: 3662202743 ISBN 13: 9783662202746

Casa editrice: Springer, 2014

Riassunto

Invited Lectures.- Limit-Computable Mathematics and Its Applications.- Automata, Logic, and XML.- ?-Calculus via Games (Extended Abstract).- Rewriting and Constructive Mathematics.- Bijections between Partitions by Two-Directional Rewriting Techniques.- On Continuous Normalization.- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.- Compactness and Continuity, Constructively Revisited.- Fixpoints and Recursion.- Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.- A Fixpoint Theory for Non-monotonic Parallelism.- Greibach Normal Form in Algebraically Complete Semirings.- Linear and Resource Logics.- Proofnets and Context Semantics for the Additives.- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.- Resource Tableaux.- Semantics.- Configuration Theories.- A Logic for Probabilities in Semantics.- Possible World Semantics for General Storage in Call-By-Value.- A Fully Abstract Relational Model of Syntactic Control of Interference.- Temporal Logics and Games.- Optimal Complexity Bounds for Positive LTL Games.- The Stuttering Principle Revisited: On the Expressiveness of Nested X and ? Operators in the Logic LTL.- Trading Probability for Fairness.- Probability, Games and Fixpoints.- A Logic of Probability with Decidable Model-Checking.- Solving Pushdown Games with a ?3 Winning Condition.- Partial Fixed-Point Logic on Infinite Structures.- On the Variable Hierarchy of the Modal ?-Calculus.- Complexity and Proof Complexity.- Implicit Computational Complexity for Higher Type Functionals.- On Generalizations of Semi-terms of Particularly Simple Form.- Local Problems, Planar Local Problems and Linear Time.- Equivalence and Isomorphism for Boolean Constraint Satisfaction.- Ludics and Linear Logic.- Travelling on Designs.- Designs, Disputes and Strategies.- Classical Linear Logic of Implications.- Lambda-Calculi.- Higher-Order Positive Set Constraints.- A Proof Theoretical Account of Continuation Passing Style.- Duality between Call-by-Name Recursion and Call-by-Value Iteration.- Decidability of Bounded Higher-Order Unification.- Open Proofs and Open Terms: A Basis for Interactive Logic.- Logical Relations for Monadic Types.- Resolution and Proofs.- On the Automatizability of Resolution and Related Propositional Proof Systems.- Extraction of Proofs from the Clausal Normal Form Transformation.- Resolution Refutations and Propositional Proofs with Height-Restrictions.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662202743
• ISBN 13: 9783662202746
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile