Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642210693, 9783642210709

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Explaining Voting Paradoxes; Including Arrow’s and Sen’s Theorems

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_6 ◽

2011 ◽

pp. 68-69

Author(s):

Donald G. Saari

Keyword(s):

Voting Paradoxes

Download Full-text

Constructions around Partialities

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_23 ◽

2011 ◽

pp. 314-330

Author(s):

Gunther Schmidt

Download Full-text

Relational Modelling and Solution of Chessboard Problems

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_9 ◽

2011 ◽

pp. 92-108 ◽

Cited By ~ 2

Author(s):

Rudolf Berghammer

Download Full-text

Ampersand

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_21 ◽

2011 ◽

pp. 280-293 ◽

Cited By ~ 10

Author(s):

Gerard Michels ◽

Sebastiaan Joosten ◽

Jaap van der Woude ◽

Stef Joosten

Download Full-text

On Probabilistic Kleene Algebras, Automata and Simulations

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_20 ◽

2011 ◽

pp. 264-279 ◽

Cited By ~ 2

Author(s):

Annabelle McIver ◽

Tahiry M. Rabehaja ◽

Georg Struth

Download Full-text

Omega Algebras and Regular Equations

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_19 ◽

2011 ◽

pp. 248-263 ◽

Cited By ~ 1

Author(s):

Michael R. Laurence ◽

Georg Struth

Download Full-text

Using Bisimulations for Optimality Problems in Model Refinement

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_14 ◽

2011 ◽

pp. 164-179 ◽

Cited By ~ 1

Author(s):

Roland Glück

Keyword(s):

Model Refinement

Download Full-text

Building Structured Theories

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_1 ◽

2011 ◽

pp. 1-21

Author(s):

Bernhard Möller

Download Full-text

Programming from Galois Connections

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_22 ◽

2011 ◽

pp. 294-313 ◽

Cited By ~ 2

Author(s):

Shin-Cheng Mu ◽

José Nuno Oliveira

Keyword(s):

Galois Connections

Download Full-text

Social Networks: Prestige, Centrality, and Influence

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21070-9_2 ◽

2011 ◽

pp. 22-39 ◽

Cited By ~ 11

Author(s):

Agnieszka Rusinowska ◽

Rudolf Berghammer ◽

Harrie De Swart ◽

Michel Grabisch

Keyword(s):

Social Networks

Download Full-text

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Explaining Voting Paradoxes; Including Arrow’s and Sen’s Theorems

Constructions around Partialities

Relational Modelling and Solution of Chessboard Problems

Ampersand

On Probabilistic Kleene Algebras, Automata and Simulations

Omega Algebras and Regular Equations

Using Bisimulations for Optimality Problems in Model Refinement

Building Structured Theories

Programming from Galois Connections

Social Networks: Prestige, Centrality, and Influence

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications