Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

The Computational Complexity of Logical Theories

1979203 citationsBook

Authors

Jeanne Ferrante · IBM (United States)

Charles Rackoff · University of Toronto

Topics & Keywords

Logic, Reasoning, and Knowledge Computability, Logic, AI Algorithms Advanced Algebra and Logic

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in mathematics

DOI: 10.1007/bfb0062837

Field-Weighted Citation Impact: 4.77

The Computational Complexity of Logical Theories | Researchclopedia