The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

A. John Power: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. A. John Power
    Categories with Algebraic Structure. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:389-405 [Conf]
  2. A. John Power
    An Abstract Formulation for Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:300-312 [Conf]
  3. Yoshiki Kinoshita, A. John Power
    A Fibrational Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:177-191 [Conf]
  4. A. John Power, Leon Sterling
    A Notion of Map between Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:390-404 [Conf]
  5. Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
    Complete Cuboidal Sets in Axiomatic Domain Theory. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:268-279 [Conf]
  6. Alex Mifsud, Robin Milner, A. John Power
    Control Structures [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:188-198 [Conf]
  7. A. John Power
    An Algebraic Formulation for Data Refinement. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:390-401 [Conf]
  8. Marco Kick, A. John Power
    Modularity of Behaviours for Mathematical Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:185-200 [Journal]
  9. Gordon D. Plotkin, A. John Power
    Computational Effects and Operations: An Overview. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:73, n:, pp:149-163 [Journal]
  10. A. John Power, Olha Shkaravska
    From Comodels to Coalgebras: State and Arrays. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:297-314 [Journal]
  11. A. John Power
    Why Tricategories? [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:2, pp:251-262 [Journal]
  12. A. John Power, Charles Wells
    A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:1, pp:1-28 [Journal]
  13. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:49-76 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002