Explore: Systèmes De Réécriture (informatique)
Discover books, insights, and more — all in one place.
Learn more about Systèmes De Réécriture (informatique) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “syst%C3%A8mes-de-r%C3%A9%C3%A9criture-%28informatique%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Rewriting Techniques and Applications
By Jean-Pierre Jouannaud
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Jean-Pierre Jouannaud
- Language: English
- Number of Pages: Median: 441
- Publisher: Springer-Verlag - Springer
- Publish Date: 1985 - 1986
- Publish Location: New York - Berlin
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Réécriture - Algebraïsche logica - Algorithme - Informatique théorique - Logiciel - Congrès - Computer programming - Termersetzungssystem - Démonstration théorème - Bewijstheorie - Algorithmes - Réécriture, Systèmes de (Informatique) - Rewriting systems (Computer science) - Specificatie - Démonstration automatique - Computer algorithms - Programmation (Informatique) - Congresses - Unification - Programmation en logique - Computermethoden - Algorithms - Machine theory - Systèmes de réécriture (Informatique) - Datenverarbeitung - Produktion - Reduktionssystem
Edition Identifiers:
- The Open Library ID: OL2540880M - OL12772163M - OL7443581M
- Online Computer Library Center (OCLC) ID: 12582911
- Library of Congress Control Number (LCCN): 85022164
- All ISBNs: 0387159762 - 9783540159766 - 9780387159768 - 3540159762
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Conditional term rewriting systems
By Jean-Pierre Jouannaud
“Conditional term rewriting systems” Metadata:
- Title: ➤ Conditional term rewriting systems
- Author: Jean-Pierre Jouannaud
- Language: English
- Number of Pages: Median: 278
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“Conditional term rewriting systems” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Congresses - Machine theory - Systèmes de réécriture (Informatique) - Théorie des automates - Congrès
Edition Identifiers:
- The Open Library ID: OL2041007M
- Online Computer Library Center (OCLC) ID: 471009223 - 18049666
- Library of Congress Control Number (LCCN): 88017626
- All ISBNs: 9780387192420 - 0387192425
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Conditional term rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.