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

Frontiers of Combining Systems

Overview of attention for book
Cover of 'Frontiers of Combining Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
  3. Altmetric Badge
    Chapter 2 Recurrence-Driven Summations in Automated Deduction
  4. Altmetric Badge
    Chapter 3 Formal Verification of Bit-Vector Invertibility Conditions in Coq
  5. Altmetric Badge
    Chapter 4 Weighted Path Orders Are Semantic Path Orders
  6. Altmetric Badge
    Chapter 5 KBO Constraint Solving Revisited
  7. Altmetric Badge
    Chapter 6 A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
  8. Altmetric Badge
    Chapter 7 Logic of Communication Interpretation: How to Not Get Lost in Translation
  9. Altmetric Badge
    Chapter 8 Symbolic Model Construction for Saturated Constrained Horn Clauses
  10. Altmetric Badge
    Chapter 9 Combining Finite Combination Properties: Finite Models and Busy Beavers
  11. Altmetric Badge
    Chapter 10 Formal Reasoning Using Distributed Assertions
  12. Altmetric Badge
    Chapter 11 An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL
  13. Altmetric Badge
    Chapter 12 Hammering Floating-Point Arithmetic
  14. Altmetric Badge
    Chapter 13 Learning Proof Transformations and Its Applications in Interactive Theorem Proving
  15. Altmetric Badge
    Chapter 14 Translating SUMO-K to Higher-Order Set Theory
Attention for Chapter 3: Formal Verification of Bit-Vector Invertibility Conditions in Coq
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X

This page is provided by Altmetric.