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 8

Record: found
Abstract: not found
Article: not found

Maximal flow through a network

L. R. Ford, D. R. Fulkerson (1956)

0 comments Cited 271 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. Lawvere (1963)

0 comments Cited 96 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Data type specification: Parameterization and the power of specification techniques

James W. Thatcher, Eric G. Wagner, Jesse B. Wright (1978)

0 comments Cited 9 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Pages: 504-514

DOI: 10.1007/BFb0022528

SO-VID: 59b31f9d-4317-4a36-8768-da34e18650f1

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Introducing institutions
Authors: J. Goguen, R. M. Burstall
Algebras, Theories and Freeness: An Introduction for Computer Scientists
Authors: R. M. Burstall, J. Goguen
Introducing Institutions
Authors: Joseph Goguen, Rod M. Burstall

See all cited by

Initially — Restricting algebraic theories

Read this book at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Most cited references 8

Maximal flow through a network

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

Data type specification: Parameterization and the power of specification techniques

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,049

Cited by 3