By Polakow J.   Pfenning F.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|20|1|1-18

Elsevier‎(2004)‎

Access to resources Favorite 11.530283

By Cervesato I.   Pfenning F.   in Information and Computation

ISSN:0890-5401|179|1|19-75

Academic Press‎(2002)‎

Access to resources Favorite 11.530283

By Sieg W.   Pfenning F.   in Studia Logica

ISSN:0039-3215|60|1|1-1

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 11.530283

By Cervesato I.   Hodas J.S.   Pfenning F.   in Theoretical Computer Science

ISSN:0304-3975|232|1|133-163

Elsevier‎(2000)‎

Access to resources Favorite 9.068807

By Colby C.   Crary K.   Harper R.   Lee P.   Pfenning F.   in Theoretical Computer Science

ISSN:0304-3975|290|2|1175-1199

Elsevier‎(2003)‎

Access to resources Favorite 7.416974