000 08347cam a22011174a 4500
001 ocn232117319
003 OCoLC
005 20250703144316.0
006 m o d
007 cr |n|||||||||
008 080220s2008 gw a ob 101 0 eng c
010 _z 2008923359
040 _aCOO
_beng
_epn
_cCOO
_dCOD
_dWAU
_dGW5XE
_dUMC
_dCEF
_dOCLCQ
_dE7B
_dOCLCO
_dOCLCQ
_dA7U
_dOCLCQ
_dOCLCF
_dBEDGE
_dOCLCQ
_dOCLCO
_dYDXCP
_dSLY
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCL
_dOCLCO
_dEBLCP
_dOCLCQ
_dVT2
_dMYUML
_dIDEBK
_dOCLCQ
_dUAB
_dESU
_dOCLCQ
_dU3W
_dBUF
_dOCLCQ
_dCRU
_dTFW
_dWYU
_dICG
_dYOU
_dOCLCQ
_dCNTRU
_dOL$
_dOCLCQ
_dAUD
_dERF
_dOCLCQ
_dUKBTH
_dLUN
_dLIP
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCL
016 7 _a987805428
_2DE-101
016 7 _a987805428
_2GyFmDB
019 _a233974044
_a767199860
_a785782603
_a880324994
_a911077152
_a964877196
_a1005749804
_a1011927569
_a1044212229
_a1056438050
_a1060689612
_a1060922970
_a1066543542
_a1077262688
_a1081233353
_a1086845606
_a1105589273
_a1112542049
_a1113812271
_a1132301768
_a1162788300
_a1170360214
_a1171791875
_a1244077827
_a1262672550
020 _a9783540789123
_q(softcover ;
_qalk. paper)
020 _a354078912X
_q(softcover ;
_qalk. paper)
020 _a9783540789130
020 _a3540789138
020 _a1281856622
020 _a9781281856623
024 7 _a10.1007/978-3-540-78913-0.
_2doi
029 1 _aAU@
_b000043104230
029 1 _aAU@
_b000046061957
029 1 _aCHBIS
_b006531737
029 1 _aCHBIS
_b009884137
029 1 _aCHVBK
_b174905513
029 1 _aCHVBK
_b199241252
029 1 _aNLGGC
_b384377017
029 1 _aNZ1
_b12480168
029 1 _aNZ1
_b13744217
035 _a(OCoLC)232117319
_z(OCoLC)233974044
_z(OCoLC)767199860
_z(OCoLC)785782603
_z(OCoLC)880324994
_z(OCoLC)911077152
_z(OCoLC)964877196
_z(OCoLC)1005749804
_z(OCoLC)1011927569
_z(OCoLC)1044212229
_z(OCoLC)1056438050
_z(OCoLC)1060689612
_z(OCoLC)1060922970
_z(OCoLC)1066543542
_z(OCoLC)1077262688
_z(OCoLC)1081233353
_z(OCoLC)1086845606
_z(OCoLC)1105589273
_z(OCoLC)1112542049
_z(OCoLC)1113812271
_z(OCoLC)1132301768
_z(OCoLC)1162788300
_z(OCoLC)1170360214
_z(OCoLC)1171791875
_z(OCoLC)1244077827
_z(OCoLC)1262672550
037 _a978-3-540-78912-3
_bSpringer
_nhttp://www.springerlink.com
042 _apcc
050 4 _aQA10
_b.I58 2008
072 7 _aQA
_2lcco
072 7 _aUYA.
_2bicssc
072 7 _aMAT018000.
_2bisacsh
072 7 _aCOM051010.
_2bisacsh
072 7 _aUYA.
_2thema
082 0 4 _a511.3/24
_222
084 _aTP301. 6
_2clc
049 _aMAIN
111 2 _aInternational Conference on Relational Methods in Computer Science
_n(10th :
_d2008 :
_cFrauenworth, Germany)
_924885
245 1 0 _aRelations and Kleene algebra in computer science :
_b10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings /
_cRudolf Berghammer, Bernhard Möller, Georg Struth (eds.).
246 3 0 _aRelational methods in computer science
246 3 0 _aApplications of Kleene algebra
246 3 0 _aKleene algebra
246 3 0 _aRelMiCS/AKA 2008
246 3 _aRelMiCS 2008
246 3 _aAKA 2008
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2008.
300 _a1 online resource (x, 396 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v4988
490 1 _aLNCS sublibrary. SL 1, Theoretical computer science and general issues
504 _aIncludes bibliographical references and index.
520 _aThe book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008. The 26 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
505 0 _aFormal 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.
546 _aEnglish.
650 0 _aAlgebraic logic
_vCongresses.
_920526
650 0 _aRelation algebras
_vCongresses.
_919352
650 0 _aComputer science
_xMathematics
_vCongresses.
_915039
650 6 _aLogique algébrique
_vCongrès.
_919355
650 6 _aAlgèbres des relations
_vCongrès.
_919354
650 6 _aInformatique
_xMathématiques
_vCongrès.
_920905
650 0 7 _aAlgebraic logic.
_2cct
_94868
650 0 7 _aRelation algebras.
_2cct
_919358
650 0 7 _aComputer science
_xMathematics.
_2cct
_92386
650 7 _aInformatique.
_2eclas
_914930
650 7 _aAlgebraic logic.
_2fast
_0(OCoLC)fst00804936
_94868
650 7 _aComputer science
_xMathematics.
_2fast
_0(OCoLC)fst00872460
_92386
650 7 _aRelation algebras.
_2fast
_0(OCoLC)fst01093574
_919358
655 2 _aCongress
_911670
655 7 _aConference papers and proceedings.
_2fast
_0(OCoLC)fst01423772
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aBerghammer, R.
_q(Rudolf),
_d1952-
_1https://id.oclc.org/worldcat/entity/E39PBJkT7x7GwQFyvvVBMVGCQq
_919364
700 1 _aMöller, Bernhard,
_d1953-
_1https://id.oclc.org/worldcat/entity/E39PCjCkwrx9gx3dTFhxDq3qgq
_919365
700 1 _aStruth, Georg.
_919366
711 2 _aInternational Workshop on Applications of Kleene Algebra
_n(5th :
_d2008 :
_cFrauenworth, Germany)
_924886
776 0 8 _iPrint version:
_aInternational Conference on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany).
_tRelations and Kleene algebra in computer science.
_dBerlin ; New York : Springer, ©2008
_z9783540789123
_z354078912X
_w(DLC) 2008923359
_w(OCoLC)221131097
830 0 _aLecture notes in computer science ;
_v4988.
_x0302-9743
830 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues.
_920736
856 4 0 _uhttps://link.springer.com/10.1007/978-3-540-78913-0
938 _aProQuest Ebook Central
_bEBLB
_nEBL3068720
938 _aebrary
_bEBRY
_nebr10533882
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_ncis23929566
938 _aYBP Library Services
_bYANK
_n3025092
994 _a92
_bATIST
999 _c636944
_d636944