Books by David A. Plaisted

The Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Da...

Explore this book →

Report

...

Explore this book →

Equational Programming

...

Explore this book →

Theorem Proving with Abstraction, Part I

...

Explore this book →

A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems

...

Explore this book →

Inference Rules for Unsatisfiability

...

Explore this book →

Constructs for Sets, Quantifiers, and Rewrite Rules in LISP

...

Explore this book →

An Exponential Lower Bound for a Restricted Class of Monotone Formulae for 2-unsatisfiability

...

Explore this book →

Theorem Proving with Abstraction, Part II

...

Explore this book →

Restricted Oracles

...

Explore this book →

Well-founded Orderings for Proving Termination of Systems of Rewrite Rules

...

Explore this book →

Report

...

Explore this book →

An NP-complete Matching Problem

...

Explore this book →

Complete Problems in the First-order Predicate Calculus

...

Explore this book →

The Efficiency of Theorem Proving Strategies

...

Explore this book →