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

Algebraic Methodology and Software Technology

Overview of attention for book
Cover of 'Algebraic Methodology and Software Technology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Structural Analysis for Stochastic Process Algebra Models
  3. Altmetric Badge
    Chapter 2 Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra
  4. Altmetric Badge
    Chapter 3 On the Expressiveness of the π-Calculus and the Mobile Ambients
  5. Altmetric Badge
    Chapter 4 Integrating Maude into Hets
  6. Altmetric Badge
    Chapter 5 Model Refinement Using Bisimulation Quotients
  7. Altmetric Badge
    Chapter 6 Type Fusion
  8. Altmetric Badge
    Chapter 7 Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
  9. Altmetric Badge
    Chapter 8 Learning in a Changing World, an Algebraic Modal Logical Approach
  10. Altmetric Badge
    Chapter 9 Matching Logic: An Alternative to Hoare/Floyd Logic
  11. Altmetric Badge
    Chapter 10 Program Calculation in Coq
  12. Altmetric Badge
    Chapter 11 Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming
  13. Altmetric Badge
    Chapter 12 Proving Termination Properties with mu-term
  14. Altmetric Badge
    Chapter 13 BAL Tool in Flexible Manufacturing Systems
  15. Altmetric Badge
    Chapter 14 A Complete Declarative Debugger for Maude
  16. Altmetric Badge
    Chapter 15 An Assume Guarantee Approach for Checking Quantified Array Assertions
Attention for Chapter 7: Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Chapter number 7
Book title
Algebraic Methodology and Software Technology
Published in
Lecture notes in computer science, January 2011
DOI 10.1007/978-3-642-17796-5_7
Book ISBNs
978-3-64-217795-8, 978-3-64-217796-5
Authors

Komendantskaya, Ekaterina, McCusker, Guy, Power, John, Ekaterina Komendantskaya, Guy McCusker, John Power

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.