Constraints in Computational Logics: Theory and Applications [[electronic resource] ] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 316 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Software engineering Mathematical logic Artificial intelligence Computer logic Computer programming Computer System Implementation Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
ISBN | 3-540-45406-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming. |
Record Nr. | UNISA-996465715603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Constraints in Computational Logics: Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / / edited by Hubert Comon, Claude Marche, Ralf Treinen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 316 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Software engineering Mathematical logic Artificial intelligence Computer logic Computer programming Computer System Implementation Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
ISBN | 3-540-45406-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming. |
Record Nr. | UNINA-9910767541503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rewriting Techniques and Applications [[electronic resource] ] : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / / edited by Ralf Treinen |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 391 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Compilers (Computer programs) Computer science—Mathematics Discrete mathematics Mathematical logic Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Mathematical Logic and Foundations |
ISBN | 3-642-02348-7 |
Classificazione |
DAT 554f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automatic Termination -- Loops under Strategies -- Proving Termination of Integer Term Rewriting -- Dependency Pairs and Polynomial Path Orders -- Unique Normalization for Shallow TRS -- The Existential Fragment of the One-Step Parallel Rewriting Theory -- Proving Confluence of Term Rewriting Systems Automatically -- A Proof Theoretic Analysis of Intruder Theories -- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case -- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions -- YAPA: A Generic Tool for Computing Intruder Knowledge -- Well-Definedness of Streams by Termination -- Modularity of Convergence in Infinitary Rewriting -- A Heterogeneous Pushout Approach to Term-Graph Transformation -- An Explicit Framework for Interaction Nets -- Dual Calculus with Inductive and Coinductive Types -- Comparing Böhm-Like Trees -- The Derivational Complexity Induced by the Dependency Pair Method -- Local Termination -- VMTL–A Modular Termination Laboratory -- Tyrolean Termination Tool 2 -- From Outermost to Context-Sensitive Rewriting -- A Fully Abstract Semantics for Constructor Systems -- The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) -- Unification in the Description Logic -- Unification with Singleton Tree Grammars -- Unification and Narrowing in Maude 2.4. |
Record Nr. | UNISA-996465596003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Rewriting techniques and applications : 20th International Conference, RTA 2009, Brasilia, Brazil, June 29-July 1, proceedings / / Ralf Treinen (ed.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
Descrizione fisica | 1 online resource (XII, 391 p.) |
Disciplina | 005.131 |
Altri autori (Persone) | TreinenRalf |
Collana | Lecture notes in computer science |
Soggetto topico |
Rewriting systems (Computer science)
Computer programming Algorithms |
ISBN | 3-642-02348-7 |
Classificazione |
DAT 554f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automatic Termination -- Loops under Strategies -- Proving Termination of Integer Term Rewriting -- Dependency Pairs and Polynomial Path Orders -- Unique Normalization for Shallow TRS -- The Existential Fragment of the One-Step Parallel Rewriting Theory -- Proving Confluence of Term Rewriting Systems Automatically -- A Proof Theoretic Analysis of Intruder Theories -- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case -- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions -- YAPA: A Generic Tool for Computing Intruder Knowledge -- Well-Definedness of Streams by Termination -- Modularity of Convergence in Infinitary Rewriting -- A Heterogeneous Pushout Approach to Term-Graph Transformation -- An Explicit Framework for Interaction Nets -- Dual Calculus with Inductive and Coinductive Types -- Comparing Böhm-Like Trees -- The Derivational Complexity Induced by the Dependency Pair Method -- Local Termination -- VMTL–A Modular Termination Laboratory -- Tyrolean Termination Tool 2 -- From Outermost to Context-Sensitive Rewriting -- A Fully Abstract Semantics for Constructor Systems -- The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) -- Unification in the Description Logic -- Unification with Singleton Tree Grammars -- Unification and Narrowing in Maude 2.4. |
Record Nr. | UNINA-9910484223103321 |
Berlin ; ; Heidelberg, : Springer, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|