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

Recent Trends in Algebraic Development Techniques

Overview of attention for book
Cover of 'Recent Trends in Algebraic Development Techniques'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Open Multiparty Interaction
  3. Altmetric Badge
    Chapter 2 Behaviour Protection in Modular Rule-Based System Specifications
  4. Altmetric Badge
    Chapter 3 Quantitative Modal Transition Systems
  5. Altmetric Badge
    Chapter 4 Bounded Model Checking of Recursive Programs with Pointers in K
  6. Altmetric Badge
    Chapter 5 A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
  7. Altmetric Badge
    Chapter 6 Adaptable Transition Systems
  8. Altmetric Badge
    Chapter 7 Compiling Logics
  9. Altmetric Badge
    Chapter 8 Transformation Systems with Incremental Negative Application Conditions
  10. Altmetric Badge
    Chapter 9 Statistical Model Checking for Composite Actor Systems
  11. Altmetric Badge
    Chapter 10 Barbed Semantics for Open Reactive Systems
  12. Altmetric Badge
    Chapter 11 Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
  13. Altmetric Badge
    Chapter 12 Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
  14. Altmetric Badge
    Chapter 13 Semantics of the Distributed Ontology Language: Institutes and Institutions
  15. Altmetric Badge
    Chapter 14 Formal Specification of the Kademlia and the Kad Routing Tables in Maude
  16. Altmetric Badge
    Chapter 15 A Generic Program Slicing Technique Based on Language Definitions
  17. Altmetric Badge
    Chapter 16 Distances between Processes: A Pure Algebraic Approach
Attention for Chapter 12: Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
Altmetric Badge

Readers on

mendeley
2 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
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
Chapter number 12
Book title
Recent Trends in Algebraic Development Techniques
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-37635-1_12
Book ISBNs
978-3-64-237634-4, 978-3-64-237635-1
Authors

Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno M. Aguirre, Thomas S. E. Maibaum

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Argentina 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 100%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.