000 03728nam a22005535i 4500
001 978-3-540-37874-7
003 DE-He213
005 20240423125934.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540378747
_9978-3-540-37874-7
024 7 _a10.1007/11828563
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aRelations and Kleene Algebra in Computer Science
_h[electronic resource] :
_b9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings /
_cedited by Renate Schmidt.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXII, 436 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4136
505 0 _aWeak Kleene Algebra and Computation Trees -- Finite Symmetric Integral Relation Algebras with No 3-Cycles -- Computations and Relational Bundles -- An Axiomatization of Arrays for Kleene Algebra with Tests -- Local Variable Scoping and Kleene Algebra with Tests -- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView -- On the Complexity of the Equational Theory of Relational Action Algebras -- Demonic Algebra with Domain -- Topological Representation of Contact Lattices -- Betweenness and Comparability Obtained from Binary Relations -- Relational Representation Theorems for General Lattices with Negations -- Monotonicity Analysis Can Speed Up Verification -- Max-Plus Convex Geometry -- Lazy Semiring Neighbours and Some Applications -- Omega Algebra, Demonic Refinement Algebra and Commands -- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell -- On the Cardinality of Relations -- Evaluating Sets of Search Points Using Relational Algebra -- Algebraization of Hybrid Logic with Binders -- Using Probabilistic Kleene Algebra for Protocol Verification -- Monotone Predicate Transformers as Up-Closed Multirelations -- Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective -- Relational Measures and Integration -- A Relational View of Recurrence and Attractors in State Transition Dynamics -- On Two Dually Nondeterministic Refinement Algebras -- On the Fixpoint Theory of Equality and Its Applications -- Monodic Tree Kleene Algebra -- Weak Relational Products.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aArtificial intelligence.
650 0 _aSoftware engineering.
650 1 4 _aFormal Languages and Automata Theory.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aArtificial Intelligence.
650 2 4 _aSoftware Engineering.
700 1 _aSchmidt, Renate.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540378730
776 0 8 _iPrinted edition:
_z9783540828211
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4136
856 4 0 _uhttps://doi.org/10.1007/11828563
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c183306
_d183306