There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 16

Record: found
Abstract: not found
Book: not found

Categories for the Working Mathematician

Saunders Lane (1971)

0 comments Cited 181 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Fundamentals of Algebraic Specification 1

Hartmut Ehrig, Bernd Mahr (1985)

0 comments Cited 49 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

The semantics of clear, a specification language

R. M. Burstall, J. Goguen (1980)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1988

Publication date (Online): May 26 2005

Pages: 44-72

DOI: 10.1007/3-540-50325-0_3

SO-VID: fe51429b-09f4-4729-a9d8-f4cc0ec37a20

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

Rewriting Logic as a Logical and Semantic Framework
Authors: Narciso Martí-Oliet, José Meseguer
Structuring theories on consequence
Authors: José Fiadeiro, Amílcar Sernadas
Three Decades of Institution Theory
Authors: Răzvan Diaconescu

See all cited by

Structuring theories on consequence

Read this book at

Related collections

ScienceOpen Research

Most cited references 16

Categories for the Working Mathematician

Fundamentals of Algebraic Specification 1

The semantics of clear, a specification language

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,605

Cited by 6