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

Practical Aspects of Declarative Languages

Overview of attention for book
Cover of 'Practical Aspects of Declarative Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
  3. Altmetric Badge
    Chapter 2 Automatic Program Rewriting in Non-Ground Answer Set Programs
  4. Altmetric Badge
    Chapter 3 Personalized Course Schedule Planning Using Answer Set Programming
  5. Altmetric Badge
    Chapter 4 An ASP Based Approach to Answering Questions for Natural Language Text
  6. Altmetric Badge
    Chapter 5 Natural Language Generation from Ontologies
  7. Altmetric Badge
    Chapter 6 Improving Residuation in Declarative Programs
  8. Altmetric Badge
    Chapter 7 Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
  9. Altmetric Badge
    Chapter 8 A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
  10. Altmetric Badge
    Chapter 9 Faster Coroutine Pipelines: A Reconstruction
  11. Altmetric Badge
    Chapter 10 Classes of Arbitrary Kind
  12. Altmetric Badge
    Chapter 11 Distributed Protocol Combinators
  13. Altmetric Badge
    Chapter 12 Creating Domain-Specific Languages by Composing Syntactical Constructs
  14. Altmetric Badge
    Chapter 13 Proof-Carrying Plans
  15. Altmetric Badge
    Chapter 14 Static Partitioning of Spreadsheets for Parallel Execution
Attention for Chapter 6: Improving Residuation in Declarative Programs
Altmetric Badge

Citations

dimensions_citation
1 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
Improving Residuation in Declarative Programs
Chapter number 6
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-05998-9_6
Book ISBNs
978-3-03-005997-2, 978-3-03-005998-9
Authors

Michael Hanus, Hanus, Michael

View on publisher site

This page is provided by Altmetric.