↓ Skip to main content

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 53 ACP with signals
  3. Altmetric Badge
    Chapter 54 Functional extensions to prolog: Are they needed?
  4. Altmetric Badge
    Chapter 55 Narrowing and resolution in logic-functional programming languages
  5. Altmetric Badge
    Chapter 56 Nondeterministic algebraic specifications and nonconfluent term rewriting
  6. Altmetric Badge
    Chapter 57 OBJ: Programming with equalities, subsorts, overloading and parameterization
  7. Altmetric Badge
    Chapter 58 Logic programming with polymorphically order-sorted types
  8. Altmetric Badge
    Chapter 59 Integrating logic programming and equational specification of abstract data types
  9. Altmetric Badge
    Chapter 60 Narrowing with built-in theories
  10. Altmetric Badge
    Chapter 61 A completion procedure for hierarchical conditional rewriting systems
  11. Altmetric Badge
    Chapter 62 An effective method for handling initial algebras
  12. Altmetric Badge
    Chapter 63 Boolean valued models and incomplete specifications
  13. Altmetric Badge
    Chapter 64 Types, modularisation and abstraction in logic programming
  14. Altmetric Badge
    Chapter 65 Translating algebraic specifications to Prolog programs: A comparative study
  15. Altmetric Badge
    Chapter 66 Rewrite rule systems for modal propositional logic
  16. Altmetric Badge
    Chapter 67 A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata
  17. Altmetric Badge
    Chapter 68 Functional data term models and semantic unification
  18. Altmetric Badge
    Chapter 69 Modular algebraic specifications
  19. Altmetric Badge
    Chapter 70 Proving inductive theorems based on term rewriting systems
  20. Altmetric Badge
    Chapter 71 Jungle evaluation for efficient term rewriting
  21. Altmetric Badge
    Chapter 72 A new quasi-reducibility testing algorithm and its application to proofs by induction
  22. Altmetric Badge
    Chapter 73 Fuzzy reasoning based on f-horn clause rules
  23. Altmetric Badge
    Chapter 74 Babel: A functional and logic programming language based on constructor discipline and narrowing
  24. Altmetric Badge
    Chapter 75 Refined compilation of pattern-matching for functional languages
  25. Altmetric Badge
    Chapter 76 Narrowing in partial conditional equational theories
  26. Altmetric Badge
    Chapter 77 Solving equations in an equational language
  27. Altmetric Badge
    Chapter 78 Nonstandard logics of recursive programs and denotational semantics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions
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.
Title
Algebraic and Logic Programming
Published by
Springer, Berlin, Heidelberg, January 1988
DOI 10.1007/3-540-50667-5
ISBNs
978-3-54-050667-6, 978-3-54-046063-3
Editors

J. Grabowski, P. Lescanne, W. Wechler

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.