Nachum Dershowitz, Stéphane Kaplan, et al.  Home/Search
Context
Related
| math.tau.ac.il/~nac...limitrevised.pdf 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: math.tau.ac.il/~nachumd/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: .We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans#nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in#nitary theories. We also consider su#cient completeness of hierarchical systems. Is there no limit? ---Job 16:3 1. Introduction Rewrite systems are sets of directed equations used to compute by repeatedly... (Update)
Similar documents (at the sentence level):
52.3%: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ... - Dershowitz, al. (1989) (Correct)
Active bibliography (related documents): More All
0.2: Self-Stabilizing l-Exclusion - Abraham, Dolev, Herman, Koll (1997) (Correct)
0.2: Toward An Architecture For Quantum Programming - Bettelli, Calarco, Serafini (2003) (Correct)
0.0: Computer Simulation: Growth Through Extension - Fishwick (1994) (Correct)
Similar documents based on text: More All
0.2: Natural Termination - Dershowitz, Hoot (1995) (Correct)
0.2: Hierarchical Termination - Dershowitz (1995) (Correct)
0.2: On Confluence and Residuals in Cauchy Convergent Transfinite.. - Simonsen (2004) (Correct)
BibTeX entry: (Update)
@inproceedings{ dershowitz89rewrite,
author = "Nachum Dershowitz and St\'ephane Kaplan",
title = "Rewrite, {\small Rewrite,} {\footnotesize Rewrite,} {\scriptsize Rewrite,} {\tiny Rewrite,\ldots}",
booktitle = "Proceedings of the Sixteenth Symposium on Principles of Programming Languages",
month = "January",
address = "Austin, TX",
pages = "250--259",
year = "1989",
url = "citeseer.ist.psu.edu/article/dershowitz89rewrite.html" }
Citations (may not include all citations):14 Lecture Notes in Computer Science (context) - in, pp et al. - 1989
4 of Computer Science (context) - thesis - 1988
1 Concordia Univ (context) - Montreal - 1990
1 corrigendum distributed at colloquium (context) - Programming, Italy et al. - 1989
1 Formal Models and Semantics (context) - vol - 1990
1 the termination of Markov algorithms (context) - rewrite, rewrite et al. - 1970
Documents on the same site (http://www.math.tau.ac.il/~nachumd/pub.html): More
Calendrical Calculations, II: Three Historical Calendars - Reingold, DERSHOWITZ (1993) (Correct)
Trees and Paths - Dershowitz, Zaks (1998) (Correct)
Automatic Termination Analysis of Programs.. - Dershowitz.. (1999) (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