000 06354cam a2200853Ka 4500
001 ocn811249955
003 OCoLC
005 20200626113230.0
006 m o d
007 cr cnu---unuuu
008 120927s2012 gw ob 101 0 eng d
010 _a 2012946209
040 _aGW5XE
_beng
_epn
_cGW5XE
_dYDXCP
_dCOO
_dZMC
_dOCLCQ
_dWAU
_dI9W
_dE7B
_dOCLCF
_dBEDGE
_dOCLCO
_dOCL
_dOCLCO
_dOCLCQ
_dEBLCP
_dESU
_dOCLCQ
_dIOG
_dNJR
_dCEF
_dU3W
_dYOU
_dAU@
_dWYU
_dTKN
_dOCLCQ
_dLEAUB
_dOCLCQ
_dW2U
_dOCLCQ
019 _a1059016010
_a1087305440
020 _a9783642333149
_q(electronic bk.)
020 _a3642333141
_q(electronic bk.)
020 _z9783642333132
020 _a3642333133
020 _a9783642333132
024 7 _a10.1007/978-3-642-33314-9
_2doi
029 1 _aAU@
_b000050101592
029 1 _aAU@
_b000051450031
029 1 _aAU@
_b000060390095
029 1 _aDKDLA
_b820120-katalog:000687570
029 1 _aNLGGC
_b384330320
029 1 _aNZ1
_b14675098
035 _a(OCoLC)811249955
_z(OCoLC)1059016010
_z(OCoLC)1087305440
050 4 _aQA76.9.M35
_bR36 2012
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aCOM051010
_2bisacsh
082 0 4 _a004.01/51
_223
049 _aMAIN
111 2 _aRAMiCS (Conference)
_n(13th :
_d2012 :
_cCambridge, England)
_946590
245 1 0 _aRelational and algebraic methods in computer science :
_b13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
_cWolfram Kahl, Timothy G. Griffin (eds.).
246 3 _aRAMiCS 2012
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2012.
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v7560
490 1 _aLNCS sublibrary. SL 1, Theoretical computer science and general issues
490 _aSerienbezeichnung
505 0 0 _tTransitive Separation Logic /
_rHan-Hing Dang and Bernhard Möller --
_tUnifying Lazy and Strict Computations /
_rWalter Guttmann --
_tFoundations of Coloring Algebra with Consequences for Feature-Oriented Programming /
_rPeter Höfner, Bernhard Möller and Andreas Zelend --
_tTowards an Algebra for Real-Time Programs /
_rBrijesh Dongol, Ian J. Hayes, Larissa Meinicke and Kim Solin --
_tAutomated Reasoning in Higher-Order Regular Algebra /
_rAlasdair Armstrong and Georg Struth --
_tTowards Certifiable Implementation of Graph Transformation via Relation Categories /
_rWolfram Kahl --
_tDeciding Regular Expressions (In- )Equivalence in Coq /
_rNelma Moreira, David Pereira and Simão Melo de Sousa --
_tSimple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures /
_rRudolf Berghammer and Sebastian Fischer --
_tUsing Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings /
_rNikita Danilenko --
_tRelations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants /
_rNuno Macedo, Hugo Pacheco and Alcino Cunha --
_tLeft-Handed Completeness /
_rDexter Kozen and Alexandra Silva --
_tOn Completeness of Omega-Regular Algebras /
_rMichael R. Laurence and Georg Struth --
_tCategories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings /
_rPeter Jipsen --
_tRelational Representation Theorem for Powerset Quantales /
_rKoki Nishizawa and Hitoshi Furusawa --
_tPoint Axioms in Dedekind Categories /
_rHitoshi Furusawa and Yasuo Kawahara --
_tTwo Observations in Dioid Based Model Refinement /
_rRoland Glück --
_tRelation Algebras, Matrices, and Multi-valued Decision Diagrams /
_rFrancis Atampore and Michael Winter --
_tIncremental Pseudo Rectangular Organization of Information Relative to a Domain /
_rSahar Ismail and Ali Jaoua --
_tRelational Concepts in Social Choice /
_rGunther Schmidt --
_tAn Algebra of Layered Complex Preferences /
_rBernhard Möller and Patrick Roocks --
_tContinuous Relations and Richardson's Theorem /
_rHitoshi Furusawa, Toshikazu Ishida and Yasuo Kawahara --
_tRelations on Hypergraphs /
_rJohn G. Stell --
_tExtension Properties of Boolean Contact Algebras /
_rIvo Düntsch and Sanjiang Li.
504 _aIncludes bibliographical references and author index.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
546 _aEnglish.
650 0 _aComputer science
_xMathematics
_vCongresses.
_915039
650 7 _aInformatique.
_2eclas
_914930
650 7 _aComputer science
_xMathematics.
_2fast
_0(OCoLC)fst00872460
_92386
653 4 _aComputer science.
653 4 _aSoftware engineering.
653 4 _aLogic design.
653 4 _aComputational complexity.
653 4 _aArtificial intelligence.
653 4 _aMathematical Logic and Formal Languages.
653 4 _aSymbolic and Algebraic Manipulation.
653 4 _aLogics and Meanings of Programs.
653 4 _aDiscrete Mathematics in Computer Science.
655 4 _aElectronic books.
_9396
655 7 _aConference papers and proceedings.
_2fast
_0(OCoLC)fst01423772
_96065
700 1 _aKahl, W.
_q(Wolfram)
_946591
700 1 _aGriffin, Timothy G.
_946592
776 0 8 _iPrinted edition:
_z9783642333132
830 0 _aLecture notes in computer science ;
_v7560.
_946593
830 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues.
_920736
856 4 0 _uhttps://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-33314-9
938 _aProQuest Ebook Central
_bEBLB
_nEBL3069884
938 _aebrary
_bEBRY
_nebr10651222
938 _aYBP Library Services
_bYANK
_n9786106
994 _a92
_bATIST
999 _c382646
_d382646