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.
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910479975003321 |
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910788732103321 |
|
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi
| Decision problems for equational theories of relation algebras / / Hajnal Andréka, Steven Givant, István Németi |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina |
510 s
511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Relation algebras
Decidability (Mathematical logic) |
| ISBN | 1-4704-0189-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""Introduction""; ""Chapter I. Preliminaries""; ""Chapter II. Undecidability""; ""Chapter III. A lattice embedding that preserves decidability and undecidability""; ""Chapter IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory""; ""Bibliography""; ""Index of symbols""; ""Index of names and subjects"" |
| Record Nr. | UNINA-9910812408003321 |
|
Andréka H.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relation algebras [e-book] / Roger D. Maddux
| Relation algebras [e-book] / Roger D. Maddux |
| Autore | Maddux, Roger D. |
| Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier, 2006 |
| Descrizione fisica | xxvi, 731 p. : ill. ; 24 cm |
| Disciplina | 511.324 |
| Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 150 |
| Soggetto topico | Relation algebras |
| ISBN |
9780444520135
0444520139 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003279859707536 |
|
Maddux, Roger D.
|
||
| Amsterdam ; Boston : Elsevier, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Relation algebras by games [e-book] / Robin Hirsch, Ian Hodkinson
| Relation algebras by games [e-book] / Robin Hirsch, Ian Hodkinson |
| Autore | Hirsch, Robin |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland : Elsevier, 2002 |
| Descrizione fisica | xvii, 691 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Hodkinson, Ianauthor |
| Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 147 |
| Soggetto topico |
Relation algebras
Game theory |
| ISBN |
9780444509321
0444509321 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003279899707536 |
|
Hirsch, Robin
|
||
| Amsterdam ; New York : North-Holland : Elsevier, 2002 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / / Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)
| Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / / Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 262 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
MacCaullWendy
WinterMichael, Ph. D. DuntschIvo |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science
Relationism Algebra - Computer programs Relation algebras |
| ISBN | 3-540-33340-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
| Record Nr. | UNINA-9910484733603321 |
| Berlin, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
The structure of relation algebras generated by relativizations / / Steven R. Givant
| The structure of relation algebras generated by relativizations / / Steven R. Givant |
| Autore | Givant Steven R. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1994] |
| Descrizione fisica | 1 online resource (xv, 134 p. ) : ill. ; |
| Disciplina | 511.3/3 |
| Collana | Contemporary mathematics |
| Soggetto topico | Relation algebras |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7747-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480774203321 |
|
Givant Steven R.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1994] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The structure of relation algebras generated by relativizations / / Steven R. Givant
| The structure of relation algebras generated by relativizations / / Steven R. Givant |
| Autore | Givant Steven R. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1994] |
| Descrizione fisica | 1 online resource (xv, 134 p. ) : ill. ; |
| Disciplina | 511.3/3 |
| Collana | Contemporary mathematics |
| Soggetto topico | Relation algebras |
| ISBN | 0-8218-7747-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910788643103321 |
|
Givant Steven R.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1994] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
