↓ Skip to main content
What is this page? Embed badge

Relational Methods in Computer Science

Overview of attention for book
Cover of 'Relational Methods in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Topological Representation of Precontact Algebras
  3. Altmetric Badge
    Chapter 2 Relational Semantics Through Duality
  4. Altmetric Badge
    Chapter 3 Duality Theory for Projective Algebras
  5. Altmetric Badge
    Chapter 4 Relational Approach to Boolean Logic Problems
  6. Altmetric Badge
    Chapter 5 Static Analysis of Programs Using Omega Algebra with Tests
  7. Altmetric Badge
    Chapter 6 Weak Contact Structures
  8. Altmetric Badge
    Chapter 7 On Relational Cycles
  9. Altmetric Badge
    Chapter 8 A Framework for Kleene Algebra with an Embedded Structure
  10. Altmetric Badge
    Chapter 9 Non-termination in Unifying Theories of Programming
  11. Altmetric Badge
    Chapter 10 Towards an Algebra of Hybrid Systems
  12. Altmetric Badge
    Chapter 11 Relational Correspondences for Lattices with Operators
  13. Altmetric Badge
    Chapter 12 Control-Flow Semantics for Assembly-Level Data-Flow Graphs
  14. Altmetric Badge
    Chapter 13 Relational Implementation of Simple Parallel Evolutionary Algorithms
  15. Altmetric Badge
    Chapter 14 Lattice-Based Paraconsistent Logic
  16. Altmetric Badge
    Chapter 15 Verification of Pushdown Systems Using Omega Algebra with Domain
  17. Altmetric Badge
    Chapter 16 Relational Methods in Computer Science
  18. Altmetric Badge
    Chapter 17 Relational Representability for Algebras of Substructural Logics
  19. Altmetric Badge
    Chapter 18 Relational Methods in Computer Science
  20. Altmetric Badge
    Chapter 19 Quantifier Elimination in Elementary Set Theory
  21. Altmetric Badge
    Chapter 20 Time-Dependent Contact Structures in Goguen Categories
Attention for Chapter 8: A Framework for Kleene Algebra with an Embedded Structure
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Framework for Kleene Algebra with an Embedded Structure
Chapter number 8
Book title
Relational Methods in Computer Science
Published by
Springer, Berlin, Heidelberg, February 2005
DOI 10.1007/11734673_8
Book ISBNs
978-3-54-033339-5, 978-3-54-033340-1
Authors

Hitoshi Furusawa

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.