↓ 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 8: A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
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
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
Chapter number 8
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-05998-9_8
Book ISBNs
978-3-03-005997-2, 978-3-03-005998-9
Authors

Paul Tarau, Tarau, Paul

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.