↓ 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 Free Variables and Theories: Revisiting Rigid E -unification
  3. Altmetric Badge
    Chapter 2 Decidable Description Logics of Context with Rigid Roles
  4. Altmetric Badge
    Chapter 3 Adding Threshold Concepts to the Description Logic $\mathcal{EL}$
  5. Altmetric Badge
    Chapter 4 Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
  6. Altmetric Badge
    Chapter 5 NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
  7. Altmetric Badge
    Chapter 6 First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
  8. Altmetric Badge
    Chapter 7 An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
  9. Altmetric Badge
    Chapter 8 Weakly Equivalent Arrays
  10. Altmetric Badge
    Chapter 9 A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
  11. Altmetric Badge
    Chapter 10 Adapting Real Quantifier Elimination Methods for Conflict Set Computation
  12. Altmetric Badge
    Chapter 11 A New Acceleration-Based Combination Framework for Array Properties
  13. Altmetric Badge
    Chapter 12 Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
  14. Altmetric Badge
    Chapter 13 A Completion Method to Decide Reachability in Rewrite Systems
  15. Altmetric Badge
    Chapter 14 Axiomatic Constraint Systems for Proof Search Modulo Theories
  16. Altmetric Badge
    Chapter 15 Frontiers of Combining Systems
  17. Altmetric Badge
    Chapter 16 Proofs and Reconstructions
  18. Altmetric Badge
    Chapter 17 A Rewriting Approach to the Combination of Data Structures with Bridging Theories
  19. Altmetric Badge
    Chapter 18 Unification and Matching in Hierarchical Combinations of Syntactic Theories
  20. Altmetric Badge
    Chapter 19 Combining Forward and Backward Propagation
  21. Altmetric Badge
    Chapter 20 Random Forests for Premise Selection
  22. Altmetric Badge
    Chapter 21 Lemmatization for Stronger Reasoning in Large Theories
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
1 Mendeley
Summary Wikipedia
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.
Title
Frontiers of Combining Systems
Published by
Springer International Publishing, September 2015
DOI 10.1007/978-3-319-24246-0
ISBNs
978-3-31-924245-3, 978-3-31-924246-0
Editors

Lutz, Carsten, Ranise, Silvio

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

This page is provided by Altmetric.