Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Comtes — An experimental environment for the completion of term rewriting systems

Comtes — An experimental environment for the completion of term rewriting systems

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 355/1989
BookRewriting Techniques and Applications
DOI10.1007/3-540-51081-8
Copyright1989
ISBN978-3-540-51081-9
CategorySystem Descriptions
DOI10.1007/3-540-51081-8_133
Pages542-546
Subject CollectionComputer Science
SpringerLink DateFriday, January 20, 2006
Add to marked items

System Descriptions

Comtes — An experimental environment for the completion of term rewriting systems

Jürgen Avenhaus1 Contact Information, Klaus Madlener1 Contact Information and Joachim Steinbach1 Contact Information

(1)  Fachbereich Informatik, Universität Kaiserslautern, Postfach 30 49, D - 6750 Kaiserslautern, F.R.G.
Without Abstract
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.111 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)