Research Catalog

Systems of reductions

Title
Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter.
Author
Benninghofen, B. (Benjamin), 1958-
Publication
Berlin ; New York : Springer-Verlag, ©1987.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA267 .B46 1987Off-site

Details

Additional Authors
  • Kemmerich, S. (Susanne), 1953-
  • Richter, Michael M., 1938-
Description
x, 263 pages : illustrations; 25 cm.
Series Statement
Lecture notes in computer science ; 277
Uniform Title
Lecture notes in computer science ; 277.
Subject
  • Rewriting systems (Computer science)
  • Algebra, Universal > Data processing
  • Computer algorithms
  • Algebra, Universal
  • Algorithms
  • algorithms
  • Algebra, Universal
  • Algebra, Universal > Data processing
  • Computer algorithms
  • Reduktionssystem
  • Reductie
  • Algoritmen
  • Algorithms
  • Algèbre universelle > Informatique
  • Algorithmes
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. [256]-263.
ISBN
  • 0387185984
  • 9780387185989
  • 3540185984
  • 9783540185987
LCCN
87028851
OCLC
  • ocm16982243
  • 16982243
  • SCSB-9176670
Owning Institutions
Princeton University Library