James R. Cheney  Home/Search
Context Related
| cornell.edu/People/jchen...tcthesis.ps 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: cornell.edu/People/jcheney/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lossless sequential data compression techniques are well-known. (Update)
Cited by: More
Statistical Models for Term Compression - James Cheney Cornell (2000) (Correct)
Active bibliography (related documents): More All
3.4: First-Order Term Compression: Techniques and Applications - Cheney (1998) (Correct)
0.2: Hierarchical Termination - Dershowitz (1995) (Correct)
0.2: More Problems in Rewriting - Dershowitz, Jouannaud, Klop (1993) (Correct)
Similar documents based on text: More All
0.0: A Zero-Delay Sequential Scheme for Lossy Coding of Individual .. - Linder, Lugosi (2000) (Correct)
0.0: Generational Stack Collection and Profile-Driven Pretenuring - Cheng, Harper, Lee (1998) (Correct)
0.0: Dismal: A spredsheet for sequential data analysis and HCI.. - Ritter, Wood (2004) (Correct)
Related documents from co-citation: More All
2: Automatic Inference of models for Statistical Code Compression - Fraser - 1999
2: Software -- Practice and Experience (context) - Darragh, Cleary et al. - 1993
2: Average-case analysis of algorithms and data structures - Vitter, Flajolet - 1990
BibTeX entry: (Update)
J. R. Cheney. First-order term compression: Techniques and applications. Master's thesis, Carnegie Mellon University, 1998. http://citeseer.ist.psu.edu/article/cheney98firstorder.html More
@misc{ cheney98firstorder,
author = "J. Cheney",
title = "First-order term compression: Techniques and applications",
text = "J. R. Cheney. First-order term compression: Techniques and applications.
Master's thesis, Carnegie Mellon University, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/cheney98firstorder.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
650 An axiomatic basis for computer programming (context) - Hoare - 1983
566 Proof-carrying code - Necula - 1997
458 A universal algorithm for sequential data compression - Ziv, Lempel
434 A framework for defining logics - Harper, Honsell et al. - 1987
81 A method for the construction of minimum-redundancy codes (context) - Hu - 1952
74 Code compression - Ernst, Evans et al. - 1997
71 Elf: A language for logic definition and verified metaprogra.. - Pfenning - 1989
56 Unification and anti-unification in the calculus of construc.. - Pfenning - 1991
54 Tree-manipulating systems and Church-Rosser theorems (context) - Rosen - 1973
51 Linear unification (context) - Paterson, Wegman - 1976
46 Akademiai Kiado (context) - Gecseg, Steinby - 1984
42 Modular elliptic curves and Fermat's Last Theorem (context) - Wiles - 1995
36 Ring-theoretic properties of certain Hecke algebras (context) - Taylor, Wiles - 1995
32 Global common subexpression elimination (context) - Cocke - 1970
21 Adaptive compression of syntax trees and iterative dynamic c.. - Franz - 1997
20 Substitution tree indexing - Graf - 1995
13 nondeterminancy and formal derivation of programs (context) - Dijkstra - 1975
7 cient representation and validation of logical proofs (context) - Necula, Lee - 1997
6 Data Compression: Techniques and Applications: Hardware and .. (context) - Held, Marshall - 1991
4 Leibnitz Center for Research in Computer Science (context) - Dershowitz, of et al. - 1993
2 cient parallel term matching and anti-unification (context) - Delcher, Kasif - 1992
2 Ninth Colloquium on Trees in Algebra and Programming (context) - Dershowitz, Zaks et al. - 1984
2 volume 1053 of Lecture Notes in Artificial Intelligence and .. (context) - Graf - 1996
2 cient algorithm for anti-unification (context) - Kuper, McAloon et al. - 1988
Documents on the same site (http://www.cs.cornell.edu/People/jcheney/): More
Theorem Prover Usability - Cheney (2001) (Correct)
CS 686 Project Report Quantum PDL - Cheney (2001) (Correct)
Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002) (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