Cover Image

Confluent String Rewriting /

Show other versions (1)

This monograph treats comprehensively central aspects of string rewriting systems in the form of semi-Thue systems. These are so general as to enable the discussion of all the basic notions and questions that arise in arbitrary replacement systems as used in various areas of computer science. The Ch...

Full description

Bibliographic Details
Main Author:	Jantzen, Matthias
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1988.
Series:	EATCS monographs on theoretical computer science ; 14.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Confluent string rewriting /
by: Jantzen, Matthias, 1948-
Published: (1988)

An Introduction to Formal Language Theory /
by: Moll, Robert N.
Published: (1988)

Discrete Mathematics Using a Computer /
by: Hall, Cordelia
Published: (2000)

Larch: Languages and Tools for Formal Specification /
by: Guttag, John V., 1949-
Published: (1993)

Semirings, Automata, Languages /
by: Kuich, Werner
Published: (1986)

Temporal Verification of Reactive Systems : Safety /
by: Manna, Zohar
Published: (1995)

6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
by: Till, David, 1942-
Published: (1994)

String-Rewriting Systems /
by: Book, Ronald V.
Published: (1993)

Algebra of Communicating Processes : Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 /
by: Ponse, A.
Published: (1995)

The Book of L /
by: Rozenberg, G.
Published: (1986)

Parsing Theory : Volume II LR(k) and LL(k) Parsing /
by: Sippu, Seppo
Published: (1990)

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)

Introduction to Programming with Mathematica® : Includes diskette /
by: Gaylord, Richard J.
Published: (1993)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)

Automated Theorem Proving : Theory and Practice /
by: Newborn, Monroe
Published: (2001)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

Asynchronous Digital Circuit Design /
by: Birtwistle, G. M. (Graham M.)
Published: (1995)

4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
by: Morris, Joseph M.
Published: (1991)

A Basis for Theoretical Computer Science /
by: Arbib, Michael A.
Published: (1981)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)

Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /
by: Parkes, Alan P.
Published: (2002)

Handbook of Formal Languages : Volume 3 Beyond Words /
by: Rozenberg, Grzegorz
Published: (1997)

Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application /
by: Rozenberg, Grzegorz
Published: (1997)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Computation of Language : an Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication /
by: Hausser, Roland
Published: (1989)

Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian S.
Published: (2002)

Elements of Finite Model Theory /
by: Libkin, Leonid
Published: (2004)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian
Published: (1994)