↓ 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 13: Learning Proof Transformations and Its Applications in Interactive Theorem Proving
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Learning Proof Transformations and Its Applications in Interactive Theorem Proving
Chapter number 13
Book title
Frontiers of Combining Systems
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-43369-6_13
Book ISBNs
978-3-03-143368-9, 978-3-03-143369-6
Authors

Zhang, Liao, Blaauwbroek, Lasse, Kaliszyk, Cezary, Urban, Josef

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 > Master 1 100%
Readers by discipline Count As %
Psychology 1 100%

This page is provided by Altmetric.