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

Algebraic and Logic Programming

Overview of attention for book
Cover of 'Algebraic and Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Toward the concurrent implementation of computational systems
  3. Altmetric Badge
    Chapter 2 On negation as instantiation
  4. Altmetric Badge
    Chapter 3 Independence in dynamically scheduled logic languages
  5. Altmetric Badge
    Chapter 4 Heterogeneous constraint solving
  6. Altmetric Badge
    Chapter 5 A hierarchy of semantics for normal constraint logic programs
  7. Altmetric Badge
    Chapter 6 Order-sorted termination: The unsorted way
  8. Altmetric Badge
    Chapter 7 Unravelings and ultra-properties
  9. Altmetric Badge
    Chapter 8 Standardization theorem revisited
  10. Altmetric Badge
    Chapter 9 Discrete Normalization and Standardization in Deterministic Residual Structures
  11. Altmetric Badge
    Chapter 10 A language for the logical specification of processes and relations
  12. Altmetric Badge
    Chapter 11 A process algebra for synchronous concurrent constraint programming
  13. Altmetric Badge
    Chapter 12 An algebraic approach to mixins and modularity
  14. Altmetric Badge
    Chapter 13 A strict border for the decidability of E-unification for recursive functions
  15. Altmetric Badge
    Chapter 14 Prime factorizations of abstract domains using first-order logic
  16. Altmetric Badge
    Chapter 15 Abstractions of uniform proofs
  17. Altmetric Badge
    Chapter 16 Complementing logic program semantics
  18. Altmetric Badge
    Chapter 17 Meaningless terms in rewriting
  19. Altmetric Badge
    Chapter 18 Unique normal form property of Higher-Order Rewriting Systems
  20. Altmetric Badge
    Chapter 19 λ-calculi with explicit substitutions and composition which preserve β-strong normalization
  21. Altmetric Badge
    Chapter 20 Algebraic semantics for functional logic programming with polymorphic order-sorted types
  22. Altmetric Badge
    Chapter 21 Specifying type systems
  23. Altmetric Badge
    Chapter 22 The semantic treatment of polymorphic specification languages
Attention for Chapter 17: Meaningless terms in rewriting
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
2 Mendeley
Summary Wikipedia
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
Meaningless terms in rewriting
Chapter number 17
Book title
Algebraic and Logic Programming
Published by
Springer, Berlin, Heidelberg, September 1996
DOI 10.1007/3-540-61735-3_17
Book ISBNs
978-3-54-061735-8, 978-3-54-070672-4
Authors

Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries, Kennaway, Richard, van Oostrom, Vincent, de Vries, Fer-Jan

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 %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%

This page is provided by Altmetric.