Science, Carnegie-Mellon University, Pittsburgh, PA, 1967. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
33 Examples of Termination - Dershowitz (1995) (15 citations) (Correct)
.... Examples of Termination Nachum Dershowitz Department of Computer Science, University of Illinois, Urbana, IL 61801, USA Abstract. A graded sequence of examples presented in a uniform framework spotlights stages in the development of methods for proving termination of rewrite systems. Let T be the set of all terms over some vocabulary.Arewrite system over T is a ....
....an elementary reduction is to reduce the length of a word by at least 1. ut Example 2 #Fragment of Group Theory#. Similarly, 1 # x x x # 1 x x , # x 1 x # x , 1 1 , 1 #x , # , x x , # #x # y# y x # #x , # y# y Research supported in part by the U. S. National Science Foundation under Grants CCR 90 07195 and CCR 9024271. 1 I apologize for not providing the provenance of many of the examples. terminates, since s t #jsj # jtj : Note that it is not enough for every rule s left hand side to be longer than its right hand side. If the righthand side has more ....
Science, Carnegie-Mellon University, Pittsburgh, PA, 1967.
Warm Fusion for the Masses: Detailing Virtual Data.. - Johann, Lewis.. (1998) (Correct)
....y Paci#c Software Research Center, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291, jlewis cse.ogi.edu, jl cse.ogi.edu 1 This work was supported, in part, by the US Materiel Command under contract F18628 96 C 0161. The #rst author was also supported, in part, by the National Science Foundation under grant CCR 9510164. 1 since modular programs are typically easier to construct than their monolithic cousins, has been found to improve programmer productivityaswell. Modular program construction is, therefore, widely regarded as an integral part of any reasonable software ....
Science, Carnegie Mellon University, 1983.
Cv - Chatterjee (Correct)
No context found.
M.S. (computer science), May 1988, Carnegie Mellon University.
Elimination of Negation in a Logical Framework - Momigliano (2000) (3 citations) (Correct)
No context found.
Mathematical Sciences, Carnegie Mellon University, 1999. Forthcoming.
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