On the Halting of Tree Replacement Systems.

Abstract

A meta theorem is proved giving sufficient conditions for termination of tree replacement systems. This leads to a new proof methodology for proving termination of optimization techniques. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1977
Accession Number
ADA039877

Entities

People

  • Lawrence H Snyder
  • Richard J. Lipton

Organizations

  • Yale University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Arithmetic
  • Computer Science
  • Computers
  • Demographic Cohorts
  • Mathematics
  • Optimization
  • Sequences
  • Universities

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering.