Buch, Englisch, Band 2471, 628 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1950 g
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Buch, Englisch, Band 2471, 628 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1950 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44240-0
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
Weitere Infos & Material
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 ConstraintSatisfaction.- 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.