Back to Results
—out of 5—out of 5—out of 5—out of 5—out of 5—out of 5
Magical Tome
- First published
- 1995
- Publisher
- Springer
- Pages
- 471 pages
- ISBN
- 3540592008
Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995
The outer archives are busy
About this book
The property of completeness for a Term Rewriting System, that is being Church-Rosser and terminating, is of fundamental importance in every application of rewriting.
Match Score
Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.
Create free accountMarks of the Realm
Marks left by readers of this tome
No community marks yet — be the first to inscribe this tome.
Pacing
Horror / Dark Elements
Romance
Spice Level
LGBTQ+ Representation
Social & Political Themes in Stories