↓ 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 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
Attention for Chapter 55: Narrowing and resolution in logic-functional programming languages
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
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
Narrowing and resolution in logic-functional programming languages
Chapter number 55
Book title
Algebraic and Logic Programming
Published by
Springer, Berlin, Heidelberg, November 1988
DOI 10.1007/3-540-50667-5_55
Book ISBNs
978-3-54-050667-6, 978-3-54-046063-3
Authors

Elio Giovannetti

View on publisher site

This page is provided by Altmetric.