↓ 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 10: Metalevel Algorithms for Variant Satisfiability
Altmetric Badge
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
Metalevel Algorithms for Variant Satisfiability
Chapter number 10
Book title
Rewriting Logic and Its Applications
Published by
Springer, Cham, April 2016
DOI 10.1007/978-3-319-44802-2_10
Book ISBNs
978-3-31-944801-5, 978-3-31-944802-2
Authors

Stephen Skeirik, José Meseguer

View on publisher site

This page is provided by Altmetric.