Cover image not available

Guarded induction on final coalgebras

Dusko Pavlović

Publication Data

Title Guarded induction on final coalgebras
Author Dusko Pavlović
Contributor
Publisher Computer Science, University of Sussex
Publication date 1998
Publication location Brighton
Language English

Topics

Induction (Mathematics)
Algebra

Catalogue Data

OBNB ID GB9830583
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 18 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Guarded induction on final coalgebras by Dusko Pavlović. Published by Computer Science, University of Sussex in 1998. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.