Robert Veroff  Home/Search
Context
Related
| unm.edu/pub/cs_tech_repo...cs9412.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unm.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . One of the objectives of a demodulation strategy is to minimize the proliferation of redundant information by keeping facts in a normal or canonical form. In this article we describe an updated version of a set of demodulators that was designed especially for problems in ring theory. The new set of demodulators, which takes advantage of features found in the automated reasoning program OTTER, is simpler and more efficient than the original. Key words: automated reasoning programs,... (Update)
Active bibliography (related documents): More All
0.1: An Entry in the 1992 Overbeek Theorem-Proving Contest - Lusk, McCune (1992) (Correct)
0.1: Logical Basis for the Automation of Reasoning: Case Studies - Wos, Veroff, Pieper (Correct)
0.1: Uniform Strategies: The CADE-11 Theorem Proving Contest - Lusk, McCune (1993) (Correct)
Similar documents based on text: More All
0.4: Otter and MACE - Otter Is Program (Correct)
0.4: OTTER 3.0 Reference Manual and Guide - McCune (1994) (Correct)
0.4: Analysis of Bit Error Probability of Direct-Sequence CDMA.. - Tanaka (2001) (Correct)
BibTeX entry: (Update)
@misc{ veroff-updated,
author = "Robert Veroff",
title = "An Updated Demodulation Strategy for Ring Problems",
url = "citeseer.ist.psu.edu/veroff94updated.html" }
Citations (may not include all citations):272 Argonne National Laboratory (context) - McCune - 1994
38 Non-resolution theorem proving (context) - Bledsoe - 1977
10 Reference Manual for the Environmental Theorem Prover (context) - Smith - 1988
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.unm.edu.html): More
Self-Nonself Discrimination in a Computer - Forrest, Perelson, Allen.. (1994) (Correct)
Using Kernel Extensions to Decrease the Latency of User-Level.. - Riesen (1996) (Correct)
A Framework-Based Environment for Object-Oriented.. - Ballance, Giancola.. (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC