By Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)
The publication constitutes the joint refereed complaints of the eleventh overseas convention on Relational tools in computing device technology, RelMiCS 2009, and the sixth foreign convention on functions of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009.
The 22 revised complete papers provided including 2 invited papers have been conscientiously reviewed and chosen from a number of submissions. The papers describe the calculus of relatives and comparable algebraic formalisms as methodological and conceptual instruments with particular concentrate on formal equipment for software program engineering, logics of courses and hyperlinks to neighbouring disciplines. Their scope contains relation relation algebras and Kleene algebras, comparable formalisms reminiscent of approach algebras, mounted element calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their functions in components comparable to verification, research and improvement of courses and algorithms relational formal tools reminiscent of B or Z, tabular tools, algebraic ways to logics of courses, modal and dynamic logics, period and temporal logics, algebraic semantics of programming languages , graph concept and combinatorial optimization, video games, automata and language concept, mechanised and automatic reasoning, choice approaches, spatio-temporal reasoning, wisdom acquisition, choice and scaling equipment or details systems.