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

Functional and Logic Programming

Overview of attention for book
Cover of 'Functional and Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
  3. Altmetric Badge
    Chapter 2 From Sets to Bits in Coq
  4. Altmetric Badge
    Chapter 3 From Proposition to Program
  5. Altmetric Badge
    Chapter 4 The Boolean Constraint Solver of SWI-Prolog (System Description)
  6. Altmetric Badge
    Chapter 5 Probabilistic Inference by Program Transformation in Hakaru (System Description)
  7. Altmetric Badge
    Chapter 6 An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
  8. Altmetric Badge
    Chapter 7 Space-Efficient Planar Acyclicity Constraints
  9. Altmetric Badge
    Chapter 8 Functional and Logic Programming
  10. Altmetric Badge
    Chapter 9 Proof Relevant Corecursive Resolution
  11. Altmetric Badge
    Chapter 10 A Coq Library for Internal Verification of Running-Times
  12. Altmetric Badge
    Chapter 11 A Transformational Approach to Parametric Accumulated-Cost Static Profiling
  13. Altmetric Badge
    Chapter 12 Polymorphic Types in Erlang Function Specifications
  14. Altmetric Badge
    Chapter 13 Declarative Foreign Function Binding Through Generic Programming
  15. Altmetric Badge
    Chapter 14 Incremental Computing with Abstract Data Structures
  16. Altmetric Badge
    Chapter 15 Declarative Programming with Algebra
Attention for Chapter 7: Space-Efficient Planar Acyclicity Constraints
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
Space-Efficient Planar Acyclicity Constraints
Chapter number 7
Book title
Functional and Logic Programming
Published in
Lecture notes in computer science, February 2016
DOI 10.1007/978-3-319-29604-3_7
Book ISBNs
978-3-31-929603-6, 978-3-31-929604-3
Authors

Taus Brock-Nannestad

View on publisher site

This page is provided by Altmetric.