Structural induction on partial algebras
Subtitle: introduction to theory and application of partial algebras, part II
By: by Horst Reichel
Contributors: Burmeister, P. (Peter)
Series: Mathematical research = Mathematische Forschung -- Bd. 18; Mathematical research -- Bd. 18.
Publisher: Akademie-Verlag
Published: 1984
Place of publication: Berlin
Language: eng
Number of pages: 205
Subjects: Universal Algebra; Abstract data types (Computer science); Categories (Mathematics)
Other titles: Partial algebras.; Introduction to theory and application of partial algebras.
Notes: Companion volume to: A model theoretic approach to partial algebras / Peter Burmeister.

Includes index.

Bibliography: p. 196-198.