Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642046384, 9783642046391
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

General Correctness Algebra

2009 ◽  
pp. 150-165 ◽  
Author(s):  
Walter Guttmann

On the Skeleton of Stonian p-Ortholattices

2009 ◽  
pp. 351-365 ◽  
Author(s):  
Michael Winter ◽  
Torsten Hahmann ◽  
Michael Gruninger

Armstrong’s Inference Rules in Dedekind Categories

2009 ◽  
pp. 187-198
Author(s):  
Toshikazu Ishida ◽  
Kazumasa Honda ◽  
Yasuo Kawahara
Keyword(s):  
Inference Rules

A Relation-Algebraic Approach to Liveness of Place/Transition Nets

2009 ◽  
pp. 103-118
Author(s):  
Alexander Fronk ◽  
Rudolf Berghammer
Keyword(s):  
Algebraic Approach

Computational Social Choice Using Relation Algebra and RelView

2009 ◽  
pp. 13-28 ◽  
Author(s):  
Harrie de Swart ◽  
Rudolf Berghammer ◽  
Agnieszka Rusinowska
Keyword(s):  
Social Choice ◽  
Relation Algebra ◽  
Computational Social Choice

scholarly journals Foundations of Concurrent Kleene Algebra

2009 ◽  
pp. 166-186 ◽  
Author(s):  
C. A. R. Hoare ◽  
Bernhard Möller ◽  
Georg Struth ◽  
Ian Wehrman
Keyword(s):  
Kleene Algebra
Load More ...
Sign in / Sign up

Export Citation Format

Share Document