Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer Science Logic [[electronic resource] ] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / / edited by Julian Bradfield
| Computer Science Logic [[electronic resource] ] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / / edited by Julian Bradfield |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 628 p.) |
| Disciplina | 005.1/01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer logic Theory of Computation Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Foundations |
| ISBN | 3-540-45793-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Altri titoli varianti | 22-25, 2002, Proceedings |
| Record Nr. | UNISA-996465524203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / / edited by Julian Bradfield
| Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / / edited by Julian Bradfield |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 628 p.) |
| Disciplina | 005.1/01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer logic Theory of Computation Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Foundations |
| ISBN | 3-540-45793-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Altri titoli varianti | 22-25, 2002, Proceedings |
| Record Nr. | UNINA-9910143892303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||