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.
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings / / Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Moller (eds.)
| Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings / / Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Moller (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (VIII, 367 p.) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
BerghammerR <1952-> (Rudolf)
Mohamed JoauaAli MollerBernhard |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Relation algebras
Algebraic logic Computer science - Mathematics |
| ISBN | 3-642-04639-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge and Structure in Social Algorithms -- Computational Social Choice Using Relation Algebra and RelView -- A Model of Internet Routing Using Semi-modules -- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs -- Towards Algebraic Separation Logic -- Domain and Antidomain Semigroups -- Composing Partially Ordered Monads -- A Relation-Algebraic Approach to Liveness of Place/Transition Nets -- ?-Continuous Idempotent Left Semirings and Their Ideal Completion -- A Semiring Approach to Equivalences, Bisimulations and Control -- General Correctness Algebra -- Foundations of Concurrent Kleene Algebra -- Armstrong’s Inference Rules in Dedekind Categories -- Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage -- Collagories for Relational Adhesive Rewriting -- Cardinal Addition in Distributive Allegories -- Relational Methods in the Analysis of While Loops: Observations of Versatility -- Modalities, Relations, and Learning -- The Cube of Kleene Algebras and the Triangular Prism of Multirelations -- Discrete Duality for Relation Algebras and Cylindric Algebras -- Contact Relations with Applications -- A While Program Normal Form Theorem in Total Correctness -- Complements in Distributive Allegories -- On the Skeleton of Stonian p-Ortholattices. |
| Altri titoli varianti |
Relational methods in computer science
Applications of Kleene algebra Kleene algebra Relmics 2009 AKA 2009 |
| Record Nr. | UNINA-9910484462403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / / Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.)
| Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / / Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (X, 402 p.) |
| Disciplina | 511.3/24 |
| Altri autori (Persone) |
BerghammerR <1952-> (Rudolf)
MollerBernhard <1953-> StruthGeorg |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Algebraic logic
Relation algebras Computer science - Mathematics |
| ISBN | 3-540-78913-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics to Mathematics and Applied Sciences -- Boolean Logics with Relations -- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic Refinement Algebras with Enabledness and Termination -- Multi-objective Problems in Terms of Relational Algebra -- The Lattice of Contact Relations on a Boolean Algebra -- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras -- Increasing Bisemigroups and Algebraic Routing -- Lazy Relations -- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy -- The Algebraic Approach II: Dioids, Quantales and Monads -- Automated Reasoning for Hybrid Systems — Two Case Studies — -- Non-termination in Idempotent Semirings -- Formal Concepts in Dedekind Categories -- The Structure of the One-Generated Free Domain Semiring -- Determinisation of Relational Substitutions in Ordered Categories with Domain -- Boolean Algebras and Stone Maps in Schröder Categories -- Cardinality in Allegories -- Solving Linear Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra -- Knowledge and Games in Modal Semirings -- Theorem Proving Modulo Based on Boolean Equational Procedures -- Rectangles, Fringes, and Inverses -- An Ordered Category of Processes -- Automatic Proof Generation in Kleene Algebra. |
| Altri titoli varianti |
Relational methods in computer science
Applications of Kleene algebra Kleene algebra RelMiCS/AKA 2008 RelMiCS 2008 AKA 2008 |
| Record Nr. | UNINA-9910484120103321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||