By Anderson S.O.   Power A.J.   in Theoretical Computer Science

ISSN:0304-3975|177|1|3-25

Elsevier‎(1997)‎

Access to resources Favorite 10.975535

By Power A.J.   Keegan B.F.   Nolan K.   in Toxicon

ISSN:0041-0101|40|4|419-425

Elsevier‎(2002)‎

Access to resources Favorite 9.146279

By O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-40

Elsevier‎(2004)‎

Access to resources Favorite 7.3170233

By O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Theoretical Computer Science

ISSN:0304-3975|228|1|211-252

Elsevier‎(1999)‎

Access to resources Favorite 7.3170233

By Freyd P.J.   O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-15

Elsevier‎(2004)‎

Access to resources Favorite 6.951805

By Freyd P.J.   O'Hearn P.W.   Power A.J.   Takeyama M.   Street R.   Tennent R.D.   in Theoretical Computer Science

ISSN:0304-3975|228|1|49-76

Elsevier‎(1999)‎

Access to resources Favorite 6.037177