Cover Image

Systems of reductions /

Show other versions (1)

Bibliographic Details
Main Author:	Benninghofen, B. (Benjamin), 1958-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kemmerich, S. (Susanne), 1953-, Richter, Michael M., 1938-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	Lecture notes in computer science ; 277.
Subjects:	Rewriting systems (Computer science) Algebra, Universal > Data processing. Computer algorithms. Algebra, Universal. Algorithms. Réécriture, Systèmes de (Informatique) Algèbre universelle. Algorithmes. Reductie. Algoritmen. Algèbre universelle > Informatique. Reduktionssystem. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Systems of reductions /
by: Benninghofen, B. (Benjamin), 1958-
Published: (1987)

Computer algebra : systems and algorithms for algebraic computation /
by: Davenport, James Harold, 1953-
Published: (1988)

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
Published: (1995)

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Published: (1995)

Algorithms for computer algebra /
by: Geddes, K. O. (Keith O.), 1947-
Published: (1992)

Efficient graph rewriting and its implementation /
by: Dörr, Heiko, 1962-
Published: (1995)

Algorithmic and combinatorial algebra /
by: Bokutʹ, L. A. (Leonid Arkadʹevich), 1937-
Published: (1994)

Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings /
Published: (1986)

Canonical equational proofs /
by: Bachmair, Leo
Published: (1991)

Algorithms - ESA '99 : 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings /
Published: (1999)

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
Published: (1988)

Algebra of polynomials /
by: Lausch, Hans
Published: (1973)

Universal algebra : fundamentals and selected topics /
by: Bergman, C. H. (Clifford H.), 1953-
Published: (2012)

Topics in universal algebra /
by: Jónsson, Bjarni, 1920-
Published: (1971)

Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 /
Published: (1981)

Design of hashing algorithms /
by: Pieprzyk, Josef, 1949-
Published: (1993)

Distributed algorithms : 8th international workshop /
Published: (1994)

Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings /
Published: (1991)

Term rewriting : French Spring School of Theoretical Computer Scas printed], France, May 17-21, 1993 : advanced course /
Published: (1995)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-
Published: (2009)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-, et al.
Published: (2017)

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
Published: (1994)

Algorithmic learning for knowledge-based systems : GOSLER final report /
Published: (1995)

Uczenie maszynowe dla programistów /
by: Conway, Drew, et al.
Published: (2015)

Parallel sorting algorithms /
by: Akl, Selim G.
Published: (1985)

Bounded incremental computation /
by: Ramalingam, G.
Published: (1996)

Conditional term rewriting systems /
Published: (1993)

Algorithms and computations : 6th international symposium, ISAAC ʼ95, Cairns, Australia, December 1995 : proceedings /
Published: (1995)

Universal algebra and applications in theoretical computer science /
by: Denecke, Klaus
Published: (2002)

Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics /
by: Hromkovič, Juraj, 1958-
Published: (2001)

Algorithms - ESA 2000 : 8th annual European symposium, Saarbrücken, Germany, September 5-8, 2000 : proceedings /
Published: (2000)

Algorithm engineering and experimentation : international workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers /
Published: (1999)

Parsing schemata : a framework for specification and analysis of parsing algorithms /
by: Sikkel, Klaas, 1954-
Published: (1997)

Introduction to algorithms /
by: Cormen, Thomas H., et al.
Published: (2022)

Contributions to general algebra 2 : proceedings of the Klagenfurt Conference, June 10-13, 1982 /
Published: (1983)

Algorithms and data structures : 6th International Workshop, WADS'99, Vancouver, Canada, August 11-14, 1999 : proceedings /
Published: (1999)

Algorithms and data structures : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 : proceedings /
Published: (1997)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Published: (2001)

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /
Published: (2006)

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings /
Published: (1987)