001440506 000__ 06729cam\a2200721\i\4500
001440506 001__ 1440506
001440506 003__ OCoLC
001440506 005__ 20230309004608.0
001440506 006__ m\\\\\o\\d\\\\\\\\
001440506 007__ cr\cn\nnnunnun
001440506 008__ 211026s2021\\\\sz\a\\\\ob\\\\101\0\eng\d
001440506 019__ $$a1287777146$$a1292518408
001440506 020__ $$a9783030887018$$q(electronic bk.)
001440506 020__ $$a3030887014$$q(electronic bk.)
001440506 020__ $$z9783030887001$$q(print)
001440506 0247_ $$a10.1007/978-3-030-88701-8$$2doi
001440506 035__ $$aSP(OCoLC)1280416746
001440506 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dDCT$$dOCLCF$$dDKU$$dOCLCO$$dTXI$$dOCLCO$$dCOM$$dOCLCQ$$dOCLCO$$dOCLCQ
001440506 049__ $$aISEA
001440506 050_4 $$aQA76.9.M35
001440506 08204 $$a004.01/51$$223
001440506 1112_ $$aRAMiCS (Conference)$$n(19th :$$d2021 :$$cMarseille, France)
001440506 24510 $$aRelational and algebraic methods in computer science :$$b19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings /$$cUli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter (eds.).
001440506 2463_ $$aRAMiCS 2021
001440506 264_1 $$aCham, Switzerland :$$bSpringer,$$c2021.
001440506 300__ $$a1 online resource (xvii, 499 pages) :$$billustrations (some color)
001440506 336__ $$atext$$btxt$$2rdacontent
001440506 337__ $$acomputer$$bc$$2rdamedia
001440506 338__ $$aonline resource$$bcr$$2rdacarrier
001440506 347__ $$atext file
001440506 347__ $$bPDF
001440506 4901_ $$aLecture notes in computer science ;$$v13027
001440506 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001440506 504__ $$aIncludes bibliographical references at chapter ends, and author index.
001440506 50500 $$tAmalgamation property for varieties of BL-algebras generated by one chain with finitely many components /$$rStefano Aguzzoli and$$rMatteo Bianchi --$$tUnary-determined distributive [lower case script L]l-magmas and bunched implication algebras /$$rNatanael Alpay,$$rPeter Jipsen, and$$rMelissa Sugimoto --$$tEffect algebras, Girard quantales and complementation in separation logic /$$rCallum Bannister,$$rPeter Höfner, and$$rGeorg Struth --$$tRelational computation of sets of relations /$$rRudolf Berghammer --$$tExperimental investigation of sufficient criteria for relations to have kernels /$$rRudolf Berghammer and$$rMitja Kulczynski --[lower case script L]l[lower case italic]r-multisemigroups, modal quantales and the origin of locality /$$rCameron Calk,$$rUli Fahrenberg,$$rChristian Johansen,$$rGeorg Struth, and$$rKrzysztof Ziemiański --$$tAbstract strategies and coherence /$$rCameron Calk,$$rEric Goubault, and$$rPhilippe Malbos --$$tAlgorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL /$$rWillem Conradie,$$rValentin Goranko, and$$rPeter Jipsen --$$tThe class of representable semilattice-ordered monoids is not a variety /$$rAmina Doumane --$$tAccretive computation of global transformations /$$rAlexandre Fernandez,$$rLuidnel Maignan, and$$rAntoine Spicher --$$tSome modal and temporal translations of generalized basic logic /$$rWesley Fussner and$$rWilliam Zuluaga Botero --$$tIsolated sublattices and their application to counting closure operators /$$rRoland Glück --$$tSecond-order properties of undirected graphs /$$rWalter Guttmann --$$tRelation-algebraic verification of Borůvka's minimum spanning tree algorithm /$$rWalter Guttmann and$$rNicolas Robinson-O'Brien --$$tDeciding FO-definability of regular languages /$$rAgi Kurucz,$$rVladislav Ryzhikov,$$rYury Savateev, and$$rMichael Zakharyaschev --
001440506 50500 $$tRelational models for the Lambek calculus with intersection and unit /$$rStepan L. Kuznetsov --$$tFree modal Riesz spaces are Archimedean : a syntactic proof /$$rChristophe Lucas and$$rMatteo Mio --$$tPolyadic spaces and profinite monoids /$$rJérémie Marquès --$$tTime warps, from algebra to algorithms /$$rSam van Gool,$$rAdrien Guatto,$$rGeorge Metcalfe, and$$rSimon Santschi --$$tOn algebra of program correctness and incorrectness /$$rBernhard Möller,$$rPeter O'Hearn, and$$rTony Hoare --$$tComputing least and greatest fixed points in absorptive semirings /$$rMatthias Naaf --$$tA variety theorem for relational universal algebra /$$rChad Nester --$$tOn tools for completeness of Kleene algebra with hypotheses /$$rDamien Pous,$$rJurriaan Rot, and$$rJana Wagemaker --$$tSkew metrics valued in Sugihara semigroups /$$rLuigi Santocanale --$$tComputing distributed knowledge as the greatest lower bound of knowledge /$$rCarlos Pinzón,$$rSantiago Quintero,$$rSergio Ramírez, and$$rFrank Valencia --$$tRelational sums and splittings in categories of L-fuzzy relations /$$rMichael Winter --$$tChange of base using arrow categories /$$rMichael Winter --$$tAutomated reasoning for probabilistic sequential programs with theorem proving /$$rKangfeng Ye,$$rSimon Foster, and$$rJim Woodcock --$$tDomain range semigroups and finite representations /$$rJaš Šemrl.
001440506 506__ $$aAccess limited to authorized users.
001440506 520__ $$aThis book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
001440506 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 26, 2021).
001440506 650_0 $$aComputer science$$xMathematics$$vCongresses.
001440506 650_0 $$aAlgebraic logic$$vCongresses.
001440506 650_0 $$aRelation algebras$$vCongresses.
001440506 650_6 $$aInformatique$$xMathématiques$$vCongrès.
001440506 650_6 $$aLogique algébrique$$vCongrès.
001440506 650_6 $$aAlgèbres des relations$$vCongrès.
001440506 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440506 655_7 $$aConference papers and proceedings.$$2lcgft
001440506 655_7 $$aActes de congrès.$$2rvmgf
001440506 655_0 $$aElectronic books.
001440506 7001_ $$aFahrenberg, Uli.,$$eeditor.
001440506 7001_ $$aGehrke, Mai,$$d1964-$$eeditor.
001440506 7001_ $$aSantocanale, Luigi,$$d1967-$$eeditor.
001440506 7001_ $$aWinter, Michael$$c(Professor),$$eeditor.
001440506 77608 $$iPrint version: $$z9783030887001
001440506 77608 $$iPrint version: $$z9783030887025
001440506 830_0 $$aLecture notes in computer science ;$$v13027.
001440506 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001440506 852__ $$bebk
001440506 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88701-8$$zOnline Access$$91397441.1
001440506 909CO $$ooai:library.usi.edu:1440506$$pGLOBAL_SET
001440506 980__ $$aBIB
001440506 980__ $$aEBOOK
001440506 982__ $$aEbook
001440506 983__ $$aOnline
001440506 994__ $$a92$$bISE