ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
30
views
19
references
Top references
cited by
16
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,191
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewriting Techniques and Applications
Tyrolean Termination Tool 2
other
Author(s):
Martin Korp
,
Christian Sternagel
,
Harald Zankl
,
Aart Middeldorp
Publication date
(Print):
2009
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
Computational Communication Research
Most cited references
19
Record
: found
Abstract
: not found
Book
: not found
Isabelle/HOL
Tobias Nipkow
,
Markus Wenzel
,
Lawrence Paulson
(2002)
0
comments
Cited
198
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A Structure-preserving Clause Form Translation
David Plaisted
,
Steven Greenbaum
(1986)
0
comments
Cited
68
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
Jürgen Giesl
,
Peter Schneider-Kamp
,
René Thiemann
(2006)
0
comments
Cited
44
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 295-304
DOI:
10.1007/978-3-642-02348-4_21
SO-VID:
72be055e-6f98-4e4b-ab9e-adf84623f816
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 93
Proving Confluence of Term Rewriting Systems Automatically
pp. 295
Tyrolean Termination Tool 2
Similar content
3,191
Body size, body proportions, and mobility in the Tyrolean “Iceman”
Authors:
Dieter zur Nedden
,
Wolfgang Recheis
,
Horst Seidler
…
Exclusion of linkage to chromosome 14q in a large South Tyrolean family with Idiopathic Basal Ganglia Calcification (IBGC).
Authors:
U Gebert
,
Ebba Buffone
,
Claudia Volpato
…
A critical study of the physico-chemical properties of tyrolean Oil Pinus Pumilio Haenke (Oil Pinus Montana Miller) Fam. Pinaceae and Oil Abies Alba Miller (Oil Abies Pectinata D. C.) Fam. Pinaceae**Contribution from the Research Laboratories of Fritzsche Brothers, Inc., N. Y.
Authors:
Charles H. Grimm
,
Edward E. Langenau
,
Ernes S. Guenther
See all similar
Cited by
16
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
Authors:
Stephan Falke
,
Deepak Kapur
Automated termination proofs for haskell by term rewriting
Authors:
Jürgen Giesl
,
Matthias Raffelsieper
,
Peter Schneider-Kamp
…
Decreasing Diagrams and Relative Termination
Authors:
Nao Hirokawa
,
Aart Middeldorp
See all cited by