33 examples of termination

Nachum Dershowitz*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

A graded sequence of examples—presented in a uniform framework—spotlights stages in the development of methods for proving termination of rewrite systems.

Original languageEnglish
Title of host publicationTerm Rewriting - French Spring School of Theoretical Computer Science, Advanced Course
EditorsHubert Comon, Jean-Pierre Jouannaud
PublisherSpringer Verlag
Pages16-26
Number of pages11
ISBN (Print)3540593403, 9783540593409
DOIs
StatePublished - 1995
Externally publishedYes
EventConference on French Spring School of Theoretical Computer Science, 1993 - Font Romeux, France
Duration: 17 May 199321 May 1993

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume909
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceConference on French Spring School of Theoretical Computer Science, 1993
Country/TerritoryFrance
CityFont Romeux
Period17/05/9321/05/93

Fingerprint

Dive into the research topics of '33 examples of termination'. Together they form a unique fingerprint.

Cite this