↓ 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 10: Classes of Arbitrary Kind
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.