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
25
views
15
references
Top references
cited by
7
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,230
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Rewriting Techniques and Applications
Testing Extended Regular Language Membership Incrementally by Rewriting
other
Author(s):
Grigore Roşu
,
Mahesh Viswanathan
Publication date
(Online):
June 18 2003
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
Language change
Most cited references
15
Record
: found
Abstract
: not found
Article
: not found
Alternation
Ashok K. Chandra
,
Dexter Kozen
,
Larry Stockmeyer
(1981)
0
comments
Cited
112
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems
Gérard Huet
(1980)
0
comments
Cited
74
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Synthesizing Monitors for Safety Properties
Klaus Havelund
,
Grigore Rosu
(2002)
0
comments
Cited
39
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2003
Publication date (Online):
June 18 2003
Pages
: 499-514
DOI:
10.1007/3-540-44881-0_35
SO-VID:
3e576185-8147-4b13-add5-f5f3b0d0f87a
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 264
Size-Change Termination for Term Rewriting
pp. 311
Tsukuba Termination Tool
pp. 499
Testing Extended Regular Language Membership Incrementally by Rewriting
Similar content
3,230
Graph rewriting with polarized cloning
Authors:
Frederic Prost
,
Rachid Echahed
,
Dominique Duval
Cooperative membership status and adoption of good agronomic practices: empirical evidence from cocoa farmers in atwima Mponua district, Ghana
Authors:
J. Frimpong–Manso
,
E.K. Tham-Agyekum
,
D.C. Aidoo
…
Gang membership, drugs and crime in the UK
Authors:
T BENNETT
,
K Holloway
,
T. Bennett
…
See all similar
Cited by
7
Rewriting-Based Techniques for Runtime Verification
Authors:
Grigore Rosu
,
Klaus Havelund
Mechanically Proving Termination Using Polynomial Interpretations
Authors:
Xavier Urbain
,
Ana Tomás
,
Claude Marche
…
Derivatives for Enhanced Regular Expressions
Authors:
Peter Thiemann
See all cited by