First-Order Logic and Automated Theorem Proving

Overview of attention for book

Cover of 'First-Order Logic and Automated Theorem Proving'

Table of Contents

Attention for Chapter 9: Equality

Altmetric Badge

Citations

dimensions_citation: 335 Dimensions

Summary Dimensions citations

So far, Dimensions has found 335 publications that cite this research output.

335

The most recent citing publications are shown below. View all 335 publications that cite this research output on Dimensions.

Logic in Mathematics and Computer Science

Preprint in arXiv (April 2024)

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Conference proceeding (April 2024)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic

Preprint in arXiv (February 2024)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.