A. John Power
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1989–1997
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CSL | Categories with Algebraic Structure. | A. John Power |
| 1997 | LICS | Complete Cuboidal Sets in Axiomatic Domain Theory. | Marcelo P. Fiore, Gordon D. Plotkin, A. John Power |
| 1995 | LICS | Control Structures | Alex Mifsud, Robin Milner, A. John Power |
| 1990 | ICLP | A Notion of Map between Logic Programs. | A. John Power, Leon Sterling |
| 1989 | MFPS | An Algebraic Formulation for Data Refinement. | A. John Power |