Q1890040
type: Item
instance of: scholarly article
title: Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers
zbMATH Open document ID: 1051.68002
published in: Lecture Notes in Computer Science
publication date: 2004-12-17T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding seminar has been reviewed (see Zbl 1014.00018). Indexed articles: \textit{Bisdorff, Raymond; Roubens, Marc}, Choice procedures in pairwise comparison multiple-attribute decision making methods, 1-7 [Zbl 1088.91503] \textit{Desharnais, Jules}, Kleene algebra with relations, 8-20 [Zbl 1088.03051] \textit{Arkoudas, Konstantine; Khurshid, Sarfraz; Marinov, Darko; Rinard, Martin}, Integrating model checking and theorem proving for relational reasoning, 21-33 [Zbl 1088.68771] \textit{Backhouse, Roland; Michaelis, Diethard}, Fixed-point characterisation of winning strategies in impartial games, 34-47 [Zbl 1088.91501] \textit{Bakewell, Adam; Plump, Detlef; Runciman, Colin}, Checking the shape safety of pointer manipulations, 48-61 [Zbl 1088.68548] \textit{Berghammer, Rudolf; Fronk, Alexander}, Applying relational algebra in 3D graphical software design, 62-73 [Zbl 1088.68533] \textit{Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard}, Investigating discrete controllability with Kleene algebra, 74-85 [Zbl 1088.93011] \textit{Doberkat, Ernst-Erich}, Tracing relations probabilistically, 86-98 [Zbl 1088.68104] \textit{Ehm, Thorsten}, Pointer Kleene algebra, 99-111 [Zbl 1088.68038] \textit{Ehm, Thorsten; Möller, Bernhard; Struth, Georg}, Kleene modules, 112-123 [Zbl 1088.03052] \textit{Furusawa, Hitoshi}, The categories of Kleene algebras, action algebras and action lattices are related by adjunctions, 124-136 [Zbl 1088.03053] \textit{Gonzalía, Carlos}, Towards a formalisation of relational database theory in constructive type theory, 137-148 [Zbl 1088.68566] \textit{Goranko, V.; Hustadt, U.; Schmidt, R. A.; Vakarelov, D.}, SCAN is complete for all Sahlqvist formulae, 149-162 [Zbl 1088.03019] \textit{Hájek, Petr}, Relations and GUHA-style data mining. II, 163-170 [Zbl 1088.68567] \textit{Jipsen, Peter}, A note on complex algebras of semigroups, 171-177 [Zbl 1093.20029] \textit{Kahl, Wolfram…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68Q01
zbMATH DE Number: 2123476
MaRDI profile type: Publication
full work available at URL: b98117
OpenAlex ID: W2476951070
DOI: 10.1007/B98117
Recommended article: Q2481688
Recommended article: Q855060
Recommended article: Q2482849
Recommended article: Q593251
Recommended article: Q1036130
Recommended article: Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014. Proceedings
Recommended article: Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17--20, 2012. Proceedings
Recommended article: Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings
Recommended article: Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -- November 1, 2018. Proceedings
Recommended article: Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers
label: Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers
description: scientific article; zbMATH DE number 2123476