↓ 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 Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
  3. Altmetric Badge
    Chapter 2 The KB Paradigm and Its Application to Interactive Configuration
  4. Altmetric Badge
    Chapter 3 A GPU Implementation of the ASP Computation
  5. Altmetric Badge
    Chapter 4 The Picat-SAT Compiler
  6. Altmetric Badge
    Chapter 5 Default Rules for Curry
  7. Altmetric Badge
    Chapter 6 Generic Matching of Tree Regular Expressions over Haskell Data Types
  8. Altmetric Badge
    Chapter 7 A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations
  9. Altmetric Badge
    Chapter 8 Computing with Catalan Families, Generically
  10. Altmetric Badge
    Chapter 9 Simplifying Probabilistic Programs Using Computer Algebra
  11. Altmetric Badge
    Chapter 10 Haskino: A Remote Monad for Programming the Arduino
  12. Altmetric Badge
    Chapter 11 From Monads to Effects and Back
Attention for Chapter 4: The Picat-SAT Compiler
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
7 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
The Picat-SAT Compiler
Chapter number 4
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2016
DOI 10.1007/978-3-319-28228-2_4
Book ISBNs
978-3-31-928227-5, 978-3-31-928228-2
Authors

Neng-Fa Zhou, Håkan Kjellerstrand, Zhou, Neng-Fa, Kjellerstrand, Håkan

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 29%
Researcher 1 14%
Other 1 14%
Student > Doctoral Student 1 14%
Unknown 2 29%
Readers by discipline Count As %
Computer Science 5 71%
Unknown 2 29%

This page is provided by Altmetric.