By Bierman G.M.   in Theoretical Computer Science

ISSN:0304-3975|227|1|43-78

Elsevier‎(1999)‎

Access to resources Favorite 18.536255

By Bierman G.M.   de Paiva V.C.V.   in Studia Logica

ISSN:0039-3215|65|3|383-416

Springer Publishing Company ‎(2000)‎

Access to resources Favorite 11.58516