Certified Programs and Proofs [[electronic resource] ] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings / / edited by Jean-Pierre Jouannaud, Zhong Shao |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XV, 401 p. 87 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Compilers (Computer programs) Computer science—Mathematics Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Symbolic and Algebraic Manipulation Software Engineering Artificial Intelligence |
ISBN | 3-642-25379-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465684403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / / edited by Daniela Petrişan, Jurriaan Rot |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XV, 201 p. 360 illus., 12 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Numerical analysis Logic programming Formal Languages and Automata Theory Numerical Analysis Logic in AI |
ISBN | 3-030-57201-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Theory of Universal Graphs for Games: Past and Future -- Approximate coalgebra homomorphisms and approximate solutions -- Duality for Instantial Neighbourhood Logic via Coalgebra -- Free-algebra functors from a coalgebraic perspective -- Learning Automata with Side-Effects -- De Finetti's Construction as a Categorical Limit -- Injective Objects and Fibered Codensity Liftings -- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas -- A categorical approach to secure compilation -- Semantics for rst-order a ne inductive datatypes via slice categories. |
Record Nr. | UNISA-996418284303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / / edited by Daniela Petrişan, Jurriaan Rot |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XV, 201 p. 360 illus., 12 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Numerical analysis Logic programming Formal Languages and Automata Theory Numerical Analysis Logic in AI |
ISBN | 3-030-57201-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Theory of Universal Graphs for Games: Past and Future -- Approximate coalgebra homomorphisms and approximate solutions -- Duality for Instantial Neighbourhood Logic via Coalgebra -- Free-algebra functors from a coalgebraic perspective -- Learning Automata with Side-Effects -- De Finetti's Construction as a Categorical Limit -- Injective Objects and Fibered Codensity Liftings -- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas -- A categorical approach to secure compilation -- Semantics for rst-order a ne inductive datatypes via slice categories. |
Record Nr. | UNINA-9910483330803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / / edited by Corina Cîrstea |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 235 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming |
ISBN | 3-030-00389-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Relating Structure and Power: Comonadic Semantics for Computational Resources -- Coalgebraic Logics and Duality -- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs -- Undecidability of Equality for Codata Types -- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co)Algebraically -- (In)finite Trace Equivalence of Probabilistic Transition Systems -- Steps and Traces -- On Algebras with Effectful Iteration -- Monoidal computer III: A coalgebraic view of computability and complexity -- Fibrational Bisimulations and Quantitative Reasoning -- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. |
Record Nr. | UNISA-996466202503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / / edited by Corina Cîrstea |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 235 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming |
ISBN | 3-030-00389-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Relating Structure and Power: Comonadic Semantics for Computational Resources -- Coalgebraic Logics and Duality -- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs -- Undecidability of Equality for Codata Types -- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co)Algebraically -- (In)finite Trace Equivalence of Probabilistic Transition Systems -- Steps and Traces -- On Algebras with Effectful Iteration -- Monoidal computer III: A coalgebraic view of computability and complexity -- Fibrational Bisimulations and Quantitative Reasoning -- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. |
Record Nr. | UNINA-9910349405403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Ichiro Hasuo |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 235 p. 5 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-40370-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract. |
Record Nr. | UNISA-996466002803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Ichiro Hasuo |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 235 p. 5 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-40370-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract. |
Record Nr. | UNINA-9910485008803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-662-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
Record Nr. | UNISA-996202528703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-662-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
Record Nr. | UNINA-9910484970403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / / edited by Dirk Pattinson, Lutz Schröder |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 259 p. 7 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-642-32784-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics. |
Record Nr. | UNISA-996465439903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|