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

Rewriting Logic and Its Applications

Overview of attention for book
Cover of 'Rewriting Logic and Its Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Labelled Graph Rewriting Meets Social Networks
  3. Altmetric Badge
    Chapter 2 Use of Logical Models for Proving Operational Termination in General Logics
  4. Altmetric Badge
    Chapter 3 A Maude Framework for Cache Coherent Multicore Architectures
  5. Altmetric Badge
    Chapter 4 Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems
  6. Altmetric Badge
    Chapter 5 Formal Specification and Verification of a Selective Defense for TDoS Attacks
  7. Altmetric Badge
    Chapter 6 Egalitarian State-Transition Systems
  8. Altmetric Badge
    Chapter 7 Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
  9. Altmetric Badge
    Chapter 8 Proving Reachability-Logic Formulas Incrementally
  10. Altmetric Badge
    Chapter 9 Maximally Parallel Contextual String Rewriting
  11. Altmetric Badge
    Chapter 10 Metalevel Algorithms for Variant Satisfiability
Attention for Chapter 8: Proving Reachability-Logic Formulas Incrementally
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
Proving Reachability-Logic Formulas Incrementally
Chapter number 8
Book title
Rewriting Logic and Its Applications
Published by
Springer, Cham, April 2016
DOI 10.1007/978-3-319-44802-2_8
Book ISBNs
978-3-31-944801-5, 978-3-31-944802-2
Authors

Vlad Rusu, Andrei Arusoaie

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 %
Unknown 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.