Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nachum Dershowitz
Introduction
Natural Computing
Computer Science Applications
A Simple and Fast Word Spotting Method
Proving Termination With Multiset Orderings
Communications of the ACM
Computer Science
A Note on Simplification Orderings
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
When Are Two Rewrite Systems More Than None?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Canonical Sets of Horn Clauses
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination by Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Natural Axiomatization of Computability and Proof of Church's Thesis
Bulletin of Symbolic Logic
Philosophy
Logic
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
