A survey on specialized completion procedures for constructing e-confluent string-rewriting systems

A survey on specialized completion procedures for constructing e-confluent string-rewriting systems
Author :
Publisher :
Total Pages : 30
Release :
ISBN-10 : OCLC:75307219
ISBN-13 :
Rating : 4/5 (19 Downloads)

Book Synopsis A survey on specialized completion procedures for constructing e-confluent string-rewriting systems by : Friedrich Otto

Download or read book A survey on specialized completion procedures for constructing e-confluent string-rewriting systems written by Friedrich Otto and published by . This book was released on 1990 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt:


A survey on specialized completion procedures for constructing e-confluent string-rewriting systems Related Books

A survey on specialized completion procedures for constructing e-confluent string-rewriting systems
Language: de
Pages: 30
Authors: Friedrich Otto
Categories:
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

Words, Languages And Combinatorics Ii: Proceedings Of The International Conference
Language: en
Pages: 554
Authors: Masami Ito
Categories:
Type: BOOK - Published: 1994-09-19 - Publisher: World Scientific

DOWNLOAD EBOOK

The research results published in this set of proceedings range from pure semigroup theory to theoretical computer science, in particular formal languages and a
String-Rewriting Systems
Language: en
Pages: 198
Authors: Ronald V. Book
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this
Mathematical Reviews
Language: en
Pages: 958
Authors:
Categories: Mathematics
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Term Rewriting Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran