×

Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. (English) Zbl 1284.68016

Lecture Notes in Computer Science 8428. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). xi, 463 p. (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1246.68043].
Indexed articles:
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter, Developments in concurrent Kleene algebra, 1-18 [Zbl 1344.68148]
Jaskolka, Jason; Khedri, Ridha; Zhang, Qinglei, Endowing concurrent Kleene algebra with communication actions, 19-36 [Zbl 1405.68214]
Jipsen, Peter, Concurrent Kleene algebra with tests, 37-48 [Zbl 1345.68139]
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg, Algebras for program correctness in Isabelle/HOL, 49-64 [Zbl 1405.68314]
Laurence, Michael R.; Struth, Georg, Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages, 65-82 [Zbl 1405.68198]
Uramoto, Takeo, A modified completeness theorem of KAT and decidability of term reducibility, 83-100 [Zbl 1344.68151]
Brunet, Paul; Pous, Damien, Kleene algebra with converse, 101-118 [Zbl 1345.68222]
Oliveira, José N., Preparing relational algebra for “just good enough” hardware, 119-138 [Zbl 1405.68085]
Guttmann, Walter, Extended conscriptions algebraically, 139-156 [Zbl 1344.68075]
Dang, Han-Hing, Abstract dynamic frames, 157-172 [Zbl 1405.68077]
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa, Automated verification of relational while-programs, 173-190 [Zbl 1405.68070]
Mili, Ali; Frias, Marcelo F.; Jaoua, Ali, On faults and faulty programs, 191-207 [Zbl 1405.68082]
Arun-Kumar, S.; Bagga, Divyanshu, Parameterised bisimulations: some applications, 208-225 [Zbl 1407.68325]
Schmidt, Gunther, A point-free relation-algebraic approach to general topology, 226-241 [Zbl 1405.68089]
Kahl, Wolfram, A mechanised abstract formalisation of concept lattices, 242-260 [Zbl 1407.68480]
Nishizawa, Koki; Furusawa, Hitoshi, A sufficient condition for liftable adjunctions between Eilenberg-Moore categories, 261-276 [Zbl 1405.18007]
Winter, Michael, Higher-order arrow categories, 277-292 [Zbl 1405.18004]
Winter, Michael; Jackson, Ethan; Fujiwara, Yuki, Type-2 fuzzy controllers in arrow categories, 293-308 [Zbl 1405.93149]
Berghammer, Rudolf; Danilenko, Nikita; Schnoor, Henning, Relation algebra and RelView applied to approval voting, 309-326 [Zbl 1405.68456]
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan, Relational lattices, 327-343 [Zbl 1344.68065]
Müller, Martin Eric, Towards finding maximal subrelations with desired properties, 344-361 [Zbl 1405.68105]
Krivulin, Nikolai, Complete solution of a constrained tropical optimization problem with application to location analysis, 362-378 [Zbl 1386.90172]
Ghosh, Manas; Winter, Michael, Refinements of the RCC25 composition table, 379-394 [Zbl 1405.68376]
Desharnais, Jules; Möller, Bernhard, Fuzzifying modal algebra, 395-411 [Zbl 1405.03086]
Stell, John G.; Schmidt, Renate A.; Rydeheard, David, Tableau development for a bi-intuitionistic tense logic, 412-428 [Zbl 1345.03042]
Ochremiak, Joanna, Nominal sets over algebraic atoms, 429-445 [Zbl 1405.68084]
Frittella, Sabine; Santocanale, Luigi, Fixed-point theory in the varieties \(\mathcal{D}_{n}\), 446-462 [Zbl 1405.06003]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1246.68043
PDF BibTeX XML Cite
Full Text: DOI