Temporal Algebra (English)
- New search for: von Karger, B.
- New search for: von Karger, B.
- New search for: Backhouse, R. C.
- New search for: Crole, R. L.
- New search for: Gibbons, J.
In:
Algebraic and coalgebraic methods in the mathematics of program construction
;
309-385
;
2002
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Temporal Algebra
-
Contributors:
-
Conference:International summer school, Algebraic and coalgebraic methods in the mathematics of program construction ; 2000 ; Oxford
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE ; 309-385
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , London
-
Publication date:2002-01-01
-
Size:77 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 21
-
Ordered Sets and Complete LatticesPriestley, H. A. et al. | 2002
- 79
-
Algebras and CoalgebrasAczel, P. et al. | 2002
- 89
-
Galois Connections and Fixed Point CalculusBackhouse, R. et al. | 2002
- 149
-
Calculating Functional ProgramsGibbons, J. et al. | 2002
- 203
-
Algebra of Program TerminationDoornbos, H. / Backhouse, R. et al. | 2002
- 281
-
Algebraic Methods for Optimization ProblemsBird, R. / Gibbons, J. / Mu, S.-C. et al. | 2002
- 309
-
Temporal Algebravon Karger, B. et al. | 2002