The Complexity of Theorem-Proving Procedures

doi 10.1145/800157.805047
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Cryptographically Sound Theorem Proving

English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

Mechanical Theorem Proving in Tarski’s Geometry

English

SMTtoTPTP – A Converter for Theorem Proving Formats

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Automated Theorem Proving in a Chat Environment

EasyChair Preprints
2018English

Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE
Multidisciplinary
2017English

Tableau-Based Theorem Proving for Representation and Reasoning.

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy