Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540436133, 9783540477976

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_1 ◽

2002 ◽

pp. 1-19

Author(s):

Roy Crole

Download Full-text

Ordered Sets and Complete Lattices

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_2 ◽

2002 ◽

pp. 21-78 ◽

Cited By ~ 10

Author(s):

Hilary A. Priestley

Keyword(s):

Ordered Sets ◽

Complete Lattices

Download Full-text

Exercises in Coalgebraic Specification

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_7 ◽

2002 ◽

pp. 237-281 ◽

Cited By ~ 13

Author(s):

Bart Jacobs

Download Full-text

Galois Connections and Fixed Point Calculus

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_4 ◽

2002 ◽

pp. 89-150 ◽

Cited By ~ 17

Author(s):

Roland Backhouse

Keyword(s):

Fixed Point ◽

Galois Connections

Download Full-text

Temporal Algebra

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_9 ◽

2002 ◽

pp. 310-386 ◽

Cited By ~ 6

Author(s):

Burghard von Karger

Keyword(s):

Temporal Algebra

Download Full-text

Algebraic Methods for Optimization Problems

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_8 ◽

2002 ◽

pp. 282-309 ◽

Cited By ~ 1

Author(s):

Richard Bird ◽

Jeremy Gibbons ◽

Shin-Cheng Mu

Keyword(s):

Optimization Problems ◽

Algebraic Methods

Download Full-text

Algebra of Program Termination

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_6 ◽

2002 ◽

pp. 204-236

Author(s):

Henk Doornbos ◽

Roland Backhouse

Keyword(s):

Program Termination

Download Full-text

Calculating Functional Programs

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_5 ◽

2002 ◽

pp. 151-203 ◽

Cited By ~ 14

Author(s):

Jeremy Gibbons

Download Full-text

Algebras and Coalgebras

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ◽

10.1007/3-540-47797-7_3 ◽

2002 ◽

pp. 79-88 ◽

Cited By ~ 6

Author(s):

Peter Aczel

Download Full-text

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Introduction

Ordered Sets and Complete Lattices

Exercises in Coalgebraic Specification

Galois Connections and Fixed Point Calculus

Temporal Algebra

Algebraic Methods for Optimization Problems

Algebra of Program Termination

Calculating Functional Programs

Algebras and Coalgebras

Lecture Notes in Computer Science - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Latest Publications