Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
17
views
11
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,481
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewriting Techniques and Applications
Substitution tree indexing
other
Author(s):
Peter Graf
Publication date
(Online):
June 1 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
A Machine-Oriented Logic Based on the Resolution Principle
Philip J A Robinson
(1965)
0
comments
Cited
78
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Experiments with discrimination-tree indexing and path indexing for term retrieval
William McCune
(1992)
0
comments
Cited
14
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Flatterms, discrimination nets, and fast term rewriting
Jim Christian
(1993)
0
comments
Cited
8
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1995
Publication date (Online):
June 1 2005
Pages
: 117-131
DOI:
10.1007/3-540-59200-8_52
SO-VID:
50914317-170d-4569-a590-491e56e9a6e5
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 11
Automatic termination proofs with transformation orderings
pp. 117
Substitution tree indexing
Similar content
1,481
Effects of position, understorey vegetation and coarse woody debris on tree regeneration in two environmentally contrasting forests of north-western Patagonia: a manipulative approach
Authors:
Karin Heinemann
,
Thomas Kitzberger
Arginine, scurvy and Cartier?s ?tree of life?
Authors:
D.J. Durzan
Bone grafts and biomaterials substitutes for bone defect repair: A review
Authors:
Wenhao Wang
,
Kelvin W.K. Yeung
See all similar
Cited by
8
Recognition and retrieval of mathematical expressions
Authors:
Dorothea Blostein
,
Richard Zanibbi
SPASS & FLOTTER version 0.42
Authors:
Christoph Weidenbach
,
Bernd Gaede
,
Georg Rock
A Content Based Mathematical Search Engine: Whelp
Authors:
Andrea Asperti
,
Ferruccio Guidi
,
Claudio Sacerdoti Coen
…
See all cited by