Name
Title | ||
|---|---|---|
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures |
Year | Venue | Field |
|---|---|---|
2002 | Algebraic and coalgebraic methods in the mathematics of program construction | Ordered set,Algebraic number,Algebra,Lattice (order),Computer science,Fixed point,Software construction,Optimization problem |
DocType | Volume | ISBN |
Conference | 2297 | isbn |
Citations | PageRank | References |
3 | 0.70 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Roland Backhouse | 1 | 325 | 40.06 |
| Roy L. Crole | 2 | 107 | 20.14 |
| Jeremy Gibbons | 3 | 3 | 2.06 |