Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
41
views
0
references
Top references
cited by
55
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,024
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Models and Semantics
Rewrite Systems
edited_book
Author(s):
Nachum DERSHOWITZ
,
Jean-Pierre JOUANNAUD
Publication date
(Print):
1990
Publisher:
Elsevier
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
Socioecological systems
Author and book information
Book Chapter
Publication date (Print):
1990
Pages
: 243-320
DOI:
10.1016/B978-0-444-88074-1.50011-1
SO-VID:
96ee081d-135f-4cf2-ad04-a729884fa6af
License:
https://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Finite Automata
pp. 133
Automata on Infinite Objects
pp. 193
Graph Rewriting: An Algebraic and Logic Approach
pp. 243
Rewrite Systems
pp. 493
Logic Programming
pp. 675
Algebraic Specification
pp. 789
Logics of Programs
pp. 995
Temporal and Modal Logic
pp. 1073
Elements of Relational Database Theory
pp. 1201
Operational and Algebraic Semantics of Concurrent Processes
Similar content
1,024
Dynamic Luminescence Manipulation for Rewritable and Multi-level Security Printing
Authors:
Pengfei She
,
Yun Xi Ma
,
Yanyan Qin
…
Deterministic Sparse Suffix Sorting on Rewritable Texts
Authors:
Johannes Fischer
,
Tomohiro I
,
Dominik Köppl
Nostalgia or Perversion?: Gothic Rewriting from the Eighteenth Century Until the Present Day
Authors:
Joost de Bloois
See all similar
Cited by
55
Formal verification of timed systems: a survey and perspective
Authors:
Farn Wang
On the Power of Homeomorphic Embedding for Online Termination
Authors:
Michael Leuschel
Functional Logic Programming: From Theory to Curry
Authors:
Michael Hanus
See all cited by