Explore: Rewriting Systems (computer Science)
Discover books, insights, and more — all in one place.
Learn more about Rewriting Systems (computer Science) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “rewriting-systems-%28computer-science%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Rewriting techniques and applications
By International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Author: ➤ International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)
- Language: English
- Number of Pages: Median: 487
- Publisher: Springer-Verlag
- Publish Date: 1993
- Publish Location: Berlin - New York
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: Algorithms - Computer programming - Congresses - Rewriting systems (Computer science) - Computer algorithms
Edition Identifiers:
- The Open Library ID: OL1506154M
- Online Computer Library Center (OCLC) ID: 502630568
- Library of Congress Control Number (LCCN): 93186726
- All ISBNs: 9780387568683 - 3540568689 - 0387568689 - 9783540568681
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Higher-order algebra, logic, and term rewriting
By Jan Heering, Karl Meinke and Bernhard Moller
“Higher-order algebra, logic, and term rewriting” Metadata:
- Title: ➤ Higher-order algebra, logic, and term rewriting
- Authors: Jan HeeringKarl MeinkeBernhard Moller
- Language: English
- Number of Pages: Median: 344
- Publisher: Springer-Verlag - Springer
- Publish Date: 1994 - 2014
- Publish Location: New York - Berlin
“Higher-order algebra, logic, and term rewriting” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Symbolic and mathematical Logic - Algebra - Logic, symbolic and mathematical - Machine theory
Edition Identifiers:
- The Open Library ID: OL28160312M - OL28157999M - OL7447560M - OL9061278M - OL1079989M
- Online Computer Library Center (OCLC) ID: 502560623
- Library of Congress Control Number (LCCN): 94003447
- All ISBNs: ➤ 9783662201862 - 9783540582335 - 9780387582337 - 9783662189054 - 3540582339 - 3662189054 - 0387582339 - 3662201860
Access and General Info:
- First Year Published: 1994
- 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 Higher-order algebra, logic, and term rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Term rewriting and all that
By Franz Baader
“Term rewriting and all that” Metadata:
- Title: Term rewriting and all that
- Author: Franz Baader
- Language: English
- Number of Pages: Median: 301
- Publisher: Cambridge University Press
- Publish Date: 1998
- Publish Location: New York - Cambridge
“Term rewriting and all that” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Report writing
Edition Identifiers:
- The Open Library ID: OL681664M
- Online Computer Library Center (OCLC) ID: 37315354
- Library of Congress Control Number (LCCN): 97028286
- All ISBNs: 0521455200 - 9780521455206
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Term rewriting and all that at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Rewriting techniques and applications
By International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Author: ➤ International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)
- Language: English
- Number of Pages: Median: 385
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Rewriting systems (Computer science) - Algorithms - Programmation - Algebraische logica - Bewijstheorie - Reecriture, Systemes de (Informatique) - Congres - Reduktionssystem - Algorithmes - Specificatie - Programmation (Informatique) - Ordinateurs - Computermethoden - Computer science - Logic design - Algebra - Data processing - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL17719532M - OL17606936M - OL17840963M
- Online Computer Library Center (OCLC) ID: 50041194
- Library of Congress Control Number (LCCN): 2002075871
- All ISBNs: 9783540439165 - 3540439161
Access and General Info:
- First Year Published: 2002
- 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 Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Applications of graph transformations with industrial relevance
third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers
By AGTIVE 2007 (2007 Kassel, Germany)
“Applications of graph transformations with industrial relevance” Metadata:
- Title: ➤ Applications of graph transformations with industrial relevance
- Author: ➤ AGTIVE 2007 (2007 Kassel, Germany)
- Language: English
- Number of Pages: Median: 594
- Publisher: Springer
- Publish Date: 2008
- Publish Location: Berlin - New York
“Applications of graph transformations with industrial relevance” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Computer science
Edition Identifiers:
- The Open Library ID: OL23724567M - OL23654385M - OL23667859M
- Online Computer Library Center (OCLC) ID: 264694006
- Library of Congress Control Number (LCCN): 2008937922
- All ISBNs: 354089019X - 9783540890195
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Applications of graph transformations with industrial relevance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Applications of Graph Transformations with Industrial Relevance
By Andy Schürr
“Applications of Graph Transformations with Industrial Relevance” Metadata:
- Title: ➤ Applications of Graph Transformations with Industrial Relevance
- Author: Andy Schürr
- Language: English
- Number of Pages: Median: 261
- Publisher: ➤ Springer Berlin Heidelberg - Springer London, Limited - Springer - Imprint: Springer
- Publish Date: 2008 - 2012
- Publish Location: Berlin, Heidelberg
“Applications of Graph Transformations with Industrial Relevance” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Computational complexity - Discrete Mathematics in Computer Science - Software engineering - Algorithm Analysis and Problem Complexity - Logic design - Data Structures - Logics and Meanings of Programs - Data structures (Computer science) - Computer software - Computer science - Congresses - Rewriting systems (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL27967729M - OL27017477M - OL35758124M
- Library of Congress Control Number (LCCN): 2012949456
- All ISBNs: ➤ 3642341764 - 9783642341762 - 3540890203 - 3642341756 - 9783642341755 - 9783540890201
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Applications of Graph Transformations with Industrial Relevance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Applications of graph transformations with industrial relevance
By Manfred Nagl
“Applications of graph transformations with industrial relevance” Metadata:
- Title: ➤ Applications of graph transformations with industrial relevance
- Author: Manfred Nagl
- Language: English
- Number of Pages: Median: 496
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2000 - 2003 - 2004
“Applications of graph transformations with industrial relevance” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Congresses - Computer science - Graphes, Théorie des - Réécriture, Systèmes de (informatique) - Congrès - Softwareentwicklung - Transformaties (wiskunde) - Grammaires de graphes - Informatique - Engenharia de programacao (software) - Kongress - Computergraphics - Systementwicklung - Graphersetzungssystem
Edition Identifiers:
- The Open Library ID: OL35747836M - OL12810055M - OL37099113M
- Online Computer Library Center (OCLC) ID: 44447077
- Library of Congress Control Number (LCCN): 00044022
- All ISBNs: ➤ 9783540676584 - 9783540451044 - 3540259597 - 9783540259596 - 3540451048 - 3540676589
Access and General Info:
- First Year Published: 2000
- 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 Applications of graph transformations with industrial relevance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
By Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra
“Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995” Metadata:
- Title: ➤ Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
- Author: ➤ Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra
- Language: English
- Number of Pages: Median: 287
- Publisher: Springer-Verlag - Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Symbolic and mathematical Logic - Algebra - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL980768M - OL9473305M - OL9061844M
- Online Computer Library Center (OCLC) ID: 34617715
- Library of Congress Control Number (LCCN): 96018318
- All ISBNs: 3540612548 - 0387612548 - 9780387612546 - 9783540612544
First Setence:
"In this paper we will discuss in an informal way some aspects of term graph rewriting."
Access and General Info:
- First Year Published: 1996
- 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 Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Rewriting 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.
10Conditional and typed rewriting systems
By International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss and Nachum Dershowitz
“Conditional and typed rewriting systems” Metadata:
- Title: ➤ Conditional and typed rewriting systems
- Authors: ➤ International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on AutomataNaomi LindenstraussNachum Dershowitz
- Language: English
- Number of Pages: Median: 378
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Conditional and typed rewriting systems” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Rewriting systems (Computer science) - Algorithms - Mathematical theory of computation - Programming - General - Rewriting systems (Computer sc - Mathematics - Computers - Languages / Programming - Science/Mathematics - Logic - Programming Languages - General - Computer Science
Edition Identifiers:
- The Open Library ID: OL803127M - OL9061659M
- Library of Congress Control Number (LCCN): 95039593
- All ISBNs: 9783540603818 - 3540603816
Access and General Info:
- First Year Published: 1995
- 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 Conditional and typed rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Symbolic rewriting technique
By Manuel Bronstein
“Symbolic rewriting technique” Metadata:
- Title: Symbolic rewriting technique
- Author: Manuel Bronstein
- Language: English
- Number of Pages: Median: 292
- Publisher: ➤ Birkhäuser Verlag - Birkhäuser Basel
- Publish Date: 1998 - 2003
- Publish Location: Boston - Basel
“Symbolic rewriting technique” Subjects and Themes:
- Subjects: ➤ Gröbner bases - Numerical analysis - Rewriting systems (Computer science) - Congresses - Data processing - Computer science, mathematics - Logic, symbolic and mathematical - Numerical analysis, data processing
Edition Identifiers:
- The Open Library ID: OL9090426M - OL352034M
- Online Computer Library Center (OCLC) ID: 38410915
- Library of Congress Control Number (LCCN): 98011497
- All ISBNs: 0817659013 - 9780817659011 - 9783764359010 - 3764359013
Access and General Info:
- First Year Published: 1998
- 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 Symbolic rewriting technique at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Conditional term rewriting systems
By International Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)
“Conditional term rewriting systems” Metadata:
- Title: ➤ Conditional term rewriting systems
- Author: ➤ International Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)
- Language: English
- Number of Pages: Median: 501
- Publisher: ➤ Springer-Verlag - Academic Press
- Publish Date: 1993 - 1994
- Publish Location: Berlin - New York - london
“Conditional term rewriting systems” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL21842906M - OL20767324M
- All ISBNs: 0387563938 - 3540563938 - 9783540563938 - 9780387563930
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Conditional term rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Termersetzungssysteme
By Klaus Drosten
“Termersetzungssysteme” Metadata:
- Title: Termersetzungssysteme
- Author: Klaus Drosten
- Language: ger
- Number of Pages: Median: 152
- Publisher: ➤ Springer-Verlag - Springer Berlin / Heidelberg
- Publish Date: 1989
- Publish Location: New York - Berlin
“Termersetzungssysteme” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL36200211M - OL25135446M
- Library of Congress Control Number (LCCN): 89212256
- All ISBNs: 9780387511726 - 3540511725 - 0387511725 - 9783540511724
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Termersetzungssysteme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14All About Maude - A High-Performance Logical Framework
By Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer and Carolyn Talcott
“All About Maude - A High-Performance Logical Framework” Metadata:
- Title: ➤ All About Maude - A High-Performance Logical Framework
- Authors: ➤ Manuel ClavelFrancisco DuránSteven EkerPatrick LincolnNarciso Martí-OlietJosé MeseguerCarolyn Talcott
- Language: English
- Number of Pages: Median: 800
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007
“All About Maude - A High-Performance Logical Framework” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Computer science - Software engineering - Human information processing - Logic - Computer logic - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL34452416M - OL9063663M
- Online Computer Library Center (OCLC) ID: 163584035
- All ISBNs: 3540719407 - 3540719997 - 9783540719991 - 9783540719403
Access and General Info:
- First Year Published: 2007
- 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 All About Maude - A High-Performance Logical Framework at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Conditional term rewriting systems
By International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France)
“Conditional term rewriting systems” Metadata:
- Title: ➤ Conditional term rewriting systems
- Author: ➤ International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France)
- Language: English
- Number of Pages: Median: 501
- Publisher: Springer-Verlag - Springer
- Publish Date: 1993
- Publish Location: New York - Berlin
“Conditional term rewriting systems” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL9060954M - OL1739092M
- Online Computer Library Center (OCLC) ID: 27106056
- Library of Congress Control Number (LCCN): 92044413
- All ISBNs: 0387563938 - 3540563938 - 9780387563930 - 9783540563938
Access and General Info:
- First Year Published: 1993
- 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 Conditional term rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Conditional and typed rewriting systems
By International CTRS Workshop (2nd 1990 Montréal, Québec)
“Conditional and typed rewriting systems” Metadata:
- Title: ➤ Conditional and typed rewriting systems
- Author: ➤ International CTRS Workshop (2nd 1990 Montréal, Québec)
- Language: English
- Number of Pages: Median: 461
- Publisher: Springer-Verlag - Springer
- Publish Date: 1991
- Publish Location: New York - Berlin
“Conditional and typed rewriting systems” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL9060672M - OL1545798M
- Online Computer Library Center (OCLC) ID: 24144034 - 502475474
- Library of Congress Control Number (LCCN): 91025005
- All ISBNs: 3540543171 - 9783540543176 - 9780387543178 - 0387543171
First Setence:
"Focus is an interactive program transformation/synthesis system based on term rewriting techniques [Red88]."
Access and General Info:
- First Year Published: 1991
- 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 Conditional and typed rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Rewriting Techniques and Applications
By Ronald V. Book
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Ronald V. Book
- Language: English
- Number of Pages: Median: 458
- Publisher: ➤ Springer-Verlag - Springer - Not Avail
- Publish Date: 1991
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Electronic digital computers
Edition Identifiers:
- The Open Library ID: OL7446749M - OL9409513M
- Online Computer Library Center (OCLC) ID: 474102552
- All ISBNs: 0387539042 - 9783540539049 - 9780387539041 - 3540539042
First Setence:
"The theory of Orthogonal Term Rewrite Systems (OTRS) is now well established within theoretical computer science."
Access and General Info:
- First Year Published: 1991
- 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.
18Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996
By N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick
“Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996” Metadata:
- Title: ➤ Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996
- Author: ➤ N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick
- Language: English
- Number of Pages: Median: 435
- Publisher: ➤ Springer - Springer-Verlag Telos
- Publish Date: 1996
- Publish Location: New York - Berlin
“Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Electronic digital computers
Edition Identifiers:
- The Open Library ID: OL988605M - OL9061889M
- Online Computer Library Center (OCLC) ID: 34932874
- Library of Congress Control Number (LCCN): 96026788
- All ISBNs: 3540614648 - 9783540614647
Access and General Info:
- First Year Published: 1996
- 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: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995
By Jieh Hsiang
“Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995” Metadata:
- Title: ➤ Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995
- Author: Jieh Hsiang
- Language: English
- Number of Pages: Median: 471
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Electronic digital computers, programming
Edition Identifiers:
- The Open Library ID: OL781108M - OL7447652M
- Online Computer Library Center (OCLC) ID: 32236442
- Library of Congress Control Number (LCCN): 95013007
- All ISBNs: 9783540592006 - 9780387592008 - 3540592008 - 0387592008
First Setence:
"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."
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Rewriting Techniques and Applications
By Pierre Lescanne
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Pierre Lescanne
- Language: English
- Number of Pages: Median: 285
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: New York - Berlin
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Congresses - Rewriting systems (Computer science) - Computer programming - Algorithms
Edition Identifiers:
- The Open Library ID: OL2384105M - OL7443797M
- Online Computer Library Center (OCLC) ID: 15792784 - 470978302
- Library of Congress Control Number (LCCN): 87012934
- All ISBNs: 0387172203 - 9780387172200
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Rewriting Techniques and Applications
By Sophie Tison
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Sophie Tison
- Language: English
- Number of Pages: Median: 387
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2002 - 2003
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses
Edition Identifiers:
- The Open Library ID: OL37150139M - OL9833973M
- All ISBNs: 3540456104 - 3540439161 - 9783540439165 - 9783540456100
Access and General Info:
- First Year Published: 2002
- 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.
22Term Rewriting and Applications
By Jürgen Giesl
“Term Rewriting and Applications” Metadata:
- Title: ➤ Term Rewriting and Applications
- Author: Jürgen Giesl
- Language: English
- Number of Pages: Median: 517
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1899 - 2005
“Term Rewriting and Applications” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Congresses
Edition Identifiers:
- The Open Library ID: OL37121647M - OL9055514M
- All ISBNs: 9783540320333 - 3540320334 - 9783540255963 - 3540255966
First Setence:
"In term rewriting one can rewrite according various reduction strategies, for instance innermost or outermost."
Access and General Info:
- First Year Published: 1899
- 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 Term Rewriting and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Term Rewriting and Applications
By Frank Pfenning
“Term Rewriting and Applications” Metadata:
- Title: ➤ Term Rewriting and Applications
- Author: Frank Pfenning
- Language: English
- Number of Pages: Median: 415
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Term Rewriting and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses
Edition Identifiers:
- The Open Library ID: OL37121846M - OL9056734M
- All ISBNs: 3540368353 - 9783540368359 - 3540368345 - 9783540368342
Access and General Info:
- First Year Published: 2006
- 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 Term Rewriting and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Term rewriting
By French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Hubert Comon and Jean-Pierre Jouannaud
“Term rewriting” Metadata:
- Title: Term rewriting
- Authors: ➤ French Spring School of Theoretical Computer Science (1993 Font-Romeu, France)Hubert ComonJean-Pierre Jouannaud
- Language: English
- Number of Pages: Median: 221
- Publisher: Springer Verlag - Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Term rewriting” Subjects and Themes:
- Subjects: ➤ Congresses - Rewriting systems (Computer science) - Computer science - Mathematical Logic and Formal Languages - Computer Science - Computer Programming - Mathematics - Computers - Languages / Programming - Science/Mathematics - Logic - Programming - General
Edition Identifiers:
- The Open Library ID: OL9061515M - OL783839M
- Library of Congress Control Number (LCCN): 95015960
- All ISBNs: 3540593403 - 9780387593401 - 0387593403 - 9783540593409
First Setence:
"Let T be the set of all terms over some vocabulary."
Access and General Info:
- First Year Published: 1995
- 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 Term rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25String-rewriting systems
By Ronald V. Book
“String-rewriting systems” Metadata:
- Title: String-rewriting systems
- Author: Ronald V. Book
- Language: English
- Number of Pages: Median: 189
- Publisher: Springer-Verlag - Springer
- Publish Date: 1993 - 2012
- Publish Location: New York
“String-rewriting systems” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL37394858M - OL1732683M
- Online Computer Library Center (OCLC) ID: 26850824
- Library of Congress Control Number (LCCN): 92037370
- All ISBNs: ➤ 0387979654 - 1461397715 - 9780387979656 - 3540979654 - 9781461397717 - 9783540979654
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find String-rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Rewriting techniques and applications
By Gerhard Goos and Juris Hartmanis
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Authors: Gerhard GoosJuris Hartmanis
- Language: English
- Number of Pages: Median: 342
- Publisher: Springer
- Publish Date: 1998
- Publish Location: Berlin - New York
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Formal languages - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL347253M
- Online Computer Library Center (OCLC) ID: 38580117
- Library of Congress Control Number (LCCN): 98006357
- All ISBNs: 354064301X - 9783540643012
Author's Alternative Names:
"G. Goos", "J Hartmanis" and "J. Hartmanis"Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Term graph rewriting
By M. R. Sleep, M. J. Plasmeijer and M. C. J. D. van Eekelen
“Term graph rewriting” Metadata:
- Title: Term graph rewriting
- Authors: M. R. SleepM. J. PlasmeijerM. C. J. D. van Eekelen
- Language: English
- Number of Pages: Median: 393
- Publisher: John Wiley & Sons Inc - Wiley
- Publish Date: 1993
- Publish Location: New York - Chichester
“Term graph rewriting” Subjects and Themes:
- Subjects: ➤ Graph theory - Formal languages - Rewriting systems (Computer science) - Computer programs
Edition Identifiers:
- The Open Library ID: OL7631258M - OL1396039M
- Online Computer Library Center (OCLC) ID: 27769954
- Library of Congress Control Number (LCCN): 93003426
- All ISBNs: 0471935670 - 9780471935674
Access and General Info:
- First Year Published: 1993
- 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 Term graph rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Analytical learning and term-rewriting systems
By Philip Laird
“Analytical learning and term-rewriting systems” Metadata:
- Title: ➤ Analytical learning and term-rewriting systems
- Author: Philip Laird
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - NASA, Ames Research Center, Artificial Intelligence Research Branch
- Publish Date: 1990
- Publish Location: ➤ [Moffett Field, CA] - [Springfield, Va
“Analytical learning and term-rewriting systems” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL15369865M
Access and General Info:
- First Year Published: 1990
- 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 Analytical learning and term-rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Conditional Term Rewriting Systems, 1st International Workshop
By S. Kaplan
“Conditional Term Rewriting Systems, 1st International Workshop” Metadata:
- Title: ➤ Conditional Term Rewriting Systems, 1st International Workshop
- Author: S. Kaplan
- Language: English
- Number of Pages: Median: 278
- Publisher: Springer
- Publish Date: 1988
“Conditional Term Rewriting Systems, 1st International Workshop” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Congresses
Edition Identifiers:
- The Open Library ID: OL7444136M
- All ISBNs: 9780387192420 - 0387192425
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Conditional Term Rewriting Systems, 1st International Workshop at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Operationales Spezifizieren mit programmierten Graphersetzungssystemen
By Andreas Schürr
“Operationales Spezifizieren mit programmierten Graphersetzungssystemen” Metadata:
- Title: ➤ Operationales Spezifizieren mit programmierten Graphersetzungssystemen
- Author: Andreas Schürr
- Language: ger
- Number of Pages: Median: 461
- Publisher: DUV
- Publish Date: 1991
- Publish Location: Wiesbaden
“Operationales Spezifizieren mit programmierten Graphersetzungssystemen” Subjects and Themes:
- Subjects: ➤ Formal languages - Graph theory - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL1322603M
- Library of Congress Control Number (LCCN): 92199141
- All ISBNs: 382442021X - 9783824420216
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Operationales Spezifizieren mit programmierten Graphersetzungssystemen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Canonical equational proofs
By Leo Bachmair
“Canonical equational proofs” Metadata:
- Title: Canonical equational proofs
- Author: Leo Bachmair
- Language: English
- Number of Pages: Median: 135
- Publisher: Birkhäuser
- Publish Date: 1991
- Publish Location: Boston
“Canonical equational proofs” Subjects and Themes:
- Subjects: ➤ Equations - Rewriting systems (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL1533707M
- Library of Congress Control Number (LCCN): 91011461
- All ISBNs: 0817635556 - 9780817635558 - 3764335556 - 9783764335557
Access and General Info:
- First Year Published: 1991
- 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 Canonical equational proofs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Termination of rewriting
By Nachum Dershowitz
“Termination of rewriting” Metadata:
- Title: Termination of rewriting
- Author: Nachum Dershowitz
- Language: English
- Number of Pages: Median: 58
- Publisher: ➤ Dept. of Computer Science, University of Illinois at Urbana-Champaign
- Publish Date: 1985
- Publish Location: ➤ Urbana, Ill. (1304 W. Springfield, Urbana 61801)
“Termination of rewriting” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL2667844M
- Library of Congress Control Number (LCCN): 85622838
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Termination of rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Applications of graph transformations with industrial relevance
By AGTIVE 2003 (2003 Charlottesville, Va.)
“Applications of graph transformations with industrial relevance” Metadata:
- Title: ➤ Applications of graph transformations with industrial relevance
- Author: ➤ AGTIVE 2003 (2003 Charlottesville, Va.)
- Language: English
- Number of Pages: Median: 500
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin
“Applications of graph transformations with industrial relevance” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Rewriting systems (Computer science) - Software engineering
Edition Identifiers:
- The Open Library ID: OL3314633M
- Online Computer Library Center (OCLC) ID: 55746387
- Library of Congress Control Number (LCCN): 2004106200
- All ISBNs: 3540221204 - 9783540221203
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Applications of graph transformations with industrial relevance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Confluent string rewriting
By Matthias Jantzen
“Confluent string rewriting” Metadata:
- Title: Confluent string rewriting
- Author: Matthias Jantzen
- Language: English
- Number of Pages: Median: 126
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: Berlin - New York
“Confluent string rewriting” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL2043269M
- Online Computer Library Center (OCLC) ID: 18221107
- Library of Congress Control Number (LCCN): 88020099
- All ISBNs: 9780387137155 - 0387137157
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Confluent string rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Systems of reductions
By B. Benninghofen
“Systems of reductions” Metadata:
- Title: Systems of reductions
- Author: B. Benninghofen
- Language: English
- Number of Pages: Median: 263
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: Berlin - New York
“Systems of reductions” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Data processing - Rewriting systems (Computer science) - Universal Algebra - Réécriture, Systèmes de (Informatique) - Algèbre universelle - Algorithmes - Reductie - Algoritmen - Reduktionssystem - Informatique - Algorithms
Edition Identifiers:
- The Open Library ID: OL2398876M
- Online Computer Library Center (OCLC) ID: 16982243
- Library of Congress Control Number (LCCN): 87028851
- All ISBNs: 0387185984 - 9780387185989
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Systems of reductions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36LOG(F)
By Sanjai Narain
“LOG(F)” Metadata:
- Title: LOG(F)
- Author: Sanjai Narain
- Language: English
- Publisher: RAND Corp.
- Publish Date: 1988
- Publish Location: ➤ Santa Monica, CA (P.O. Box 2138, Santa Monica 90406-2138)
“LOG(F)” Subjects and Themes:
- Subjects: ➤ Logic programming - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL1918613M
- Library of Congress Control Number (LCCN): 90128550
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find LOG(F) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Three papers on graph rewriting systems and their applications
By Hartmut Ehrig
“Three papers on graph rewriting systems and their applications” Metadata:
- Title: ➤ Three papers on graph rewriting systems and their applications
- Author: Hartmut Ehrig
- Language: English
- Number of Pages: Median: 91
- Publisher: Sine nomine
- Publish Date: 1975
- Publish Location: Erlangen
“Three papers on graph rewriting systems and their applications” Subjects and Themes:
- Subjects: ➤ Data processing - Data structures (Computer science) - Formal languages - Graph theory - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL4290315M
- Library of Congress Control Number (LCCN): 78317627
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Three papers on graph rewriting systems and their applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38On the regularity calculus and its role in distributed programming
By Stefan Rönn
“On the regularity calculus and its role in distributed programming” Metadata:
- Title: ➤ On the regularity calculus and its role in distributed programming
- Author: Stefan Rönn
- Language: English
- Number of Pages: Median: 105
- Publisher: Finnish Academy of Technology
- Publish Date: 1992
- Publish Location: Helsinki
“On the regularity calculus and its role in distributed programming” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL57086067M
- Online Computer Library Center (OCLC) ID: 27437582
- All ISBNs: 9789516663565 - 9516663567
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find On the regularity calculus and its role in distributed programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus
By Christoph Brzoska
“Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus” Metadata:
- Title: ➤ Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus
- Author: Christoph Brzoska
- Language: ger
- Number of Pages: Median: 65
- Publisher: Technische Universität Berlin
- Publish Date: 1988
- Publish Location: Berlin
“Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL1922797M
- Library of Congress Control Number (LCCN): 90134370
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Functional programming and parallel graph rewriting
By M. J. Plasmeijer
“Functional programming and parallel graph rewriting” Metadata:
- Title: ➤ Functional programming and parallel graph rewriting
- Author: M. J. Plasmeijer
- Language: English
- Number of Pages: Median: 571
- Publisher: Addison-Wesley
- Publish Date: 1993
- Publish Location: Reading, Mass - Wokingham, Eng
“Functional programming and parallel graph rewriting” Subjects and Themes:
- Subjects: ➤ Functional programming (Computer science) - Graph theory - Parallel processing (Electronic computers) - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL1410958M
- Library of Congress Control Number (LCCN): 93019724
- All ISBNs: 9780201416633 - 0201416638
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Functional programming and parallel graph rewriting at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Regulated rewriting in formal language theory
By Jürgen Dassow
“Regulated rewriting in formal language theory” Metadata:
- Title: ➤ Regulated rewriting in formal language theory
- Author: Jürgen Dassow
- Language: English
- Number of Pages: Median: 308
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Regulated rewriting in formal language theory” Subjects and Themes:
- Subjects: ➤ Formal languages - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL2214140M
- Online Computer Library Center (OCLC) ID: 70304680
- Library of Congress Control Number (LCCN): 89037151
- All ISBNs: 9780387514147 - 9783540514145 - 0387514147 - 3540514147
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Regulated rewriting in formal language theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Implementation of term rewriting-based programming languages
By Nadia Nedjah
“Implementation of term rewriting-based programming languages” Metadata:
- Title: ➤ Implementation of term rewriting-based programming languages
- Author: Nadia Nedjah
- Language: English
- Number of Pages: Median: 135
- Publisher: Nova Science Publishers
- Publish Date: 2003
- Publish Location: New York
“Implementation of term rewriting-based programming languages” Subjects and Themes:
- Subjects: ➤ Functional programming (Computer science) - Programming languages (Electronic computers) - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL3706546M
- Online Computer Library Center (OCLC) ID: 52425437
- Library of Congress Control Number (LCCN): 2003276815
- All ISBNs: 9781590336458 - 1590336453
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Implementation of term rewriting-based programming languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Graphersetzungssysteme
“Graphersetzungssysteme” Metadata:
- Title: Graphersetzungssysteme
- Language: ger
- Number of Pages: Median: 169
- Publisher: ➤ Inst. für Math. Maschinen u. Datenverarbeitung
- Publish Date: 1977
- Publish Location: Erlangen
“Graphersetzungssysteme” Subjects and Themes:
- Subjects: ➤ Graph theory - Formal languages - Rewriting systems (Computer science)
Edition Identifiers:
- The Open Library ID: OL4509213M
- Library of Congress Control Number (LCCN): 79354477
Access and General Info:
- First Year Published: 1977
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Graphersetzungssysteme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Term rewriting systems
By J. W. Klop
“Term rewriting systems” Metadata:
- Title: Term rewriting systems
- Author: J. W. Klop
- Language: English
- Number of Pages: Median: 884
- Publisher: Cambridge University Press
- Publish Date: 2003
- Publish Location: Cambridge, UK - New York
“Term rewriting systems” Subjects and Themes:
- Subjects: ➤ Rewriting systems (Computer science) - Computer software
Edition Identifiers:
- The Open Library ID: OL21170567M
- Online Computer Library Center (OCLC) ID: 49719208
- Library of Congress Control Number (LCCN): 2002067658
- All ISBNs: 9780521391153 - 0521391156
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Term rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday
By Pierpaolo Degano
“Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday” Metadata:
- Title: ➤ Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday
- Author: Pierpaolo Degano
- Number of Pages: Median: 808
- Publisher: Springer
- Publish Date: 2008
“Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Algebra - Data processing - Artificial intelligence - Computer software - Computer simulation - Computer programming - Computer software, verification - Machine theory - Graph theory - Graph grammars - Rewriting systems (Computer science) - Computer multitasking - Verification - Multitasking (Computer science)
Edition Identifiers:
- The Open Library ID: OL25978458M
- Online Computer Library Center (OCLC) ID: 227032527
- All ISBNs: 3540686762 - 9783540686767
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46All about Maude
“All about Maude” Metadata:
- Title: All about Maude
- Language: English
- Number of Pages: Median: 797
- Publisher: Springer
- Publish Date: 2007
- Publish Location: New York - Berlin
“All about Maude” Subjects and Themes:
- Subjects: ➤ Computer logic - Rewriting systems (Computer science) - Human information processing - Maude (Computer program language)
Edition Identifiers:
- The Open Library ID: OL16972564M
- Library of Congress Control Number (LCCN): 2007930649
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find All about Maude at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Rewriting techniques and applications
By RTA 2001. (2001 Utrecht, Netherlands)
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Author: ➤ RTA 2001. (2001 Utrecht, Netherlands)
- Number of Pages: Median: 361
- Publisher: Springer
- Publish Date: 2001
- Publish Location: Berlin - London
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Rewriting systems (Computer science) - Algorithms
Edition Identifiers:
- The Open Library ID: OL21095248M
- Online Computer Library Center (OCLC) ID: 47927792
- Library of Congress Control Number (LCCN): 2001269887
- All ISBNs: 9783540421177 - 3540421173
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Rewriting Techniques and Applications
By Robert Nieuwenhuis
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Robert Nieuwenhuis
- Language: English
- Number of Pages: Median: 515
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2003 - 2007
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses
Edition Identifiers:
- The Open Library ID: OL9452703M - OL37089900M
- Library of Congress Control Number (LCCN): 2003052969
- All ISBNs: 9783540402541 - 3540448810 - 3540402543 - 9783540448815
First Setence:
"Technological breakthroughs have enabled complete genomic sequencing and proteomic study of many species, fueling exponential growth in the available biological data relevant to important biological functions."
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Rewriting Techniques and Applications
By Leo Bachmair
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Leo Bachmair
- Language: English
- Number of Pages: Median: 273
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2000 - 2006
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Computer science
Edition Identifiers:
- The Open Library ID: OL37149368M - OL12810085M
- Online Computer Library Center (OCLC) ID: 505751399
- Library of Congress Control Number (LCCN): 00056309
- All ISBNs: 354067778X - 3540449809 - 9783540449805 - 9783540677789
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Rewriting Techniques and Applications
By Paliath Narendran
“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Paliath Narendran
- Language: English
- Number of Pages: Median: 397
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1999 - 2003
“Rewriting Techniques and Applications” Subjects and Themes:
- Subjects: ➤ Computer programming - Rewriting systems (Computer science) - Algorithms - Congresses - Computer science - Logic design - Algebra - Data processing - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL37149340M - OL9767258M
- Online Computer Library Center (OCLC) ID: 41619631 - 504513883
- Library of Congress Control Number (LCCN): 99034032
- All ISBNs: 3540662014 - 9783540486855 - 3540486852 - 9783540662013
First Setence:
"A usual technique in symbolic constraint solving is to apply transformation rules until a solved form is reached for which the problem becomes simple."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.